Anne is blue. Anne is furry. Anne is red. Anne is white. Gary is blue. Harry is blue. Harry is cold. Harry is furry. Harry is rough. Harry is white. If something is red then it is cold. Rough, blue things are white. All furry, blue things are white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is red then it is cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Rough, blue things are white.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
All furry, blue things are white.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Anne is not red.
False
1
inv-proof
[(triple3)]
("Anne" "is" "red" "-")
triple3
Anne is cold.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple3) -> rule1))]
("Anne" "is" "cold" "-")
((triple3) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "white" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3)] Anne is white.[(triple4 OR ((triple2 triple1) -> rule3))] Gary is blue.[(triple5)] Harry is blue.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10 OR ((triple8 triple6) -> rule3) OR ((triple9 triple6) -> rule2))] @1: Anne is cold.[(((triple3) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
((triple2 triple1) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
((triple8 triple6) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple9 triple6) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1