Anne is blue. Anne is cold. Anne is furry. Anne is red. Anne is round. Dave is young. Erin is cold. Erin is furry. Erin is round. Gary is not blue. Gary is cold. Gary is young. If Anne is young and Anne is not rough then Anne is round. Blue things are red. If something is young then it is cold.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
If Anne is young and Anne is not rough then Anne is round.
((("Anne" "is" "young" "+") ("Anne" "is" "rough" "~")) -> ("Anne" "is" "round" "+"))
Blue things are red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If something is young then it is cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
Anne is furry.
True
1
proof
[(triple3)]
("Anne" "is" "furry" "+")
triple3
Gary is not young.
False
1
inv-proof
[(triple12)]
("Gary" "is" "young" "-")
triple12
Dave is cold.
True
2
proof
[(((triple6) -> rule3))]
("Dave" "is" "cold" "+")
((triple6) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple6) -> rule3))]
("Dave" "is" "cold" "-")
((triple6) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "red" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "red" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is red.[(triple4 OR ((triple1) -> rule2))] Anne is round.[(triple5)] Dave is young.[(triple6)] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is round.[(triple9)] Gary is cold.[(triple11 OR ((triple12) -> rule3))] Gary is not blue.[(triple10)] Gary is young.[(triple12)] @1: Dave is cold.[(((triple6) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
((triple1) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple11
((triple12) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not blue.
("Gary" "is" "blue" "-")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple12
Dave is cold.
("Dave" "is" "cold" "+")
((triple6) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1