Anne is young. Dave is cold. Erin is furry. Gary is round. All blue people are furry. Furry people are cold. If Erin is young then Erin is green.
Anne is young.
("Anne" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
All blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
Furry people are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If Erin is young then Erin is green.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "green" "+"))
Dave is cold.
True
1
proof
[(triple2)]
("Dave" "is" "cold" "+")
triple2
Gary is not round.
False
1
inv-proof
[(triple4)]
("Gary" "is" "round" "-")
triple4
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Anne is young.[(triple1)] Dave is cold.[(triple2)] Erin is furry.[(triple3)] Gary is round.[(triple4)] @1: Erin is cold.[(((triple3) -> rule2))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1