The cow is big. The cow is round. The cow is young. If the cow is big and the cow is nice then the cow is round. Big, round people are nice.
The cow is big.
("cow" "is" "big" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
If the cow is big and the cow is nice then the cow is round.
((("cow" "is" "big" "+") ("cow" "is" "nice" "+")) -> ("cow" "is" "round" "+"))
Big, round people are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
The cow is young.
True
1
proof
[(triple3)]
("cow" "is" "young" "+")
triple3
The cow is not young.
False
1
inv-proof
[(triple3)]
("cow" "is" "young" "-")
triple3
The cow is nice.
True
3
proof
[(((triple1 triple2) -> rule2))]
("cow" "is" "nice" "+")
((triple1 triple2) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is not nice.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("cow" "is" "nice" "-")
((triple1 triple2) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The cow is big.[(triple1)] The cow is round.[(triple2)] The cow is young.[(triple3)] @1: The cow is nice.[(((triple1 triple2) -> rule2))]
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
((triple1 triple2) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1