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