The cat is blue. The cat is cold. The cat is round. Blue people are round. All cold people are big. If the cat is blue and the cat is not big then the cat is nice.
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is round.
("cat" "is" "round" "+")
Blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
All cold people are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If the cat is blue and the cat is not big then the cat is nice.
((("cat" "is" "blue" "+") ("cat" "is" "big" "~")) -> ("cat" "is" "nice" "+"))
The cat is round.
True
1
proof
[(triple3 OR ((triple1) -> rule1))]
("cat" "is" "round" "+")
triple3
((triple1) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is not round.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule1))]
("cat" "is" "round" "-")
triple3
((triple1) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is big.
True
2
proof
[(((triple2) -> rule2))]
("cat" "is" "big" "+")
((triple2) -> (rule2 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is not big.
False
2
inv-proof
[(((triple2) -> rule2))]
("cat" "is" "big" "-")
((triple2) -> (rule2 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is not nice.
Unknown
inv-rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "nice" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2)] The cat is round.[(triple3 OR ((triple1) -> rule1))] @1: The cat is big.[(((triple2) -> rule2))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
((triple1) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is big.
("cat" "is" "big" "+")
((triple2) -> (rule2 % int1))
The cat is big.
("cat" "is" "big" "+")
int1