The cow is nice. The cow is red. The cow is round. The cow is young. The cow likes the tiger. The tiger is big. The tiger is nice. The tiger does not like the cow. The tiger needs the cow. The tiger sees the cow. If something is round and it likes the tiger then it is big. If the tiger likes the cow then the cow likes the tiger. If something needs the tiger and it is round then the tiger is not nice.
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If something is round and it likes the tiger then it is big.
((("something" "is" "round" "+") ("something" "likes" "tiger" "+")) -> ("something" "is" "big" "+"))
If the tiger likes the cow then the cow likes the tiger.
((("tiger" "likes" "cow" "+")) -> ("cow" "likes" "tiger" "+"))
If something needs the tiger and it is round then the tiger is not nice.
((("something" "needs" "tiger" "+") ("something" "is" "round" "+")) -> ("tiger" "is" "nice" "-"))
The cow is young.
True
1
proof
[(triple4)]
("cow" "is" "young" "+")
triple4
The cow is not red.
False
1
inv-proof
[(triple2)]
("cow" "is" "red" "-")
triple2
The tiger is not young.
Unknown
inv-random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
@0: The cow is nice.[(triple1)] The cow is red.[(triple2)] The cow is round.[(triple3)] The cow is young.[(triple4)] The cow likes the tiger.[(triple5)] The tiger does not like the cow.[(triple8)] The tiger is big.[(triple6)] The tiger is nice.[(triple7)] The tiger needs the cow.[(triple9)] The tiger sees the cow.[(triple10)] @1: The cow is big.[(((triple3 triple5) -> rule1))]
The cow is nice.
("cow" "is" "nice" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The cow is round.
("cow" "is" "round" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple5
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
triple8
The tiger is big.
("tiger" "is" "big" "+")
triple6
The tiger is nice.
("tiger" "is" "nice" "+")
triple7
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple9
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple10
The cow is big.
("cow" "is" "big" "+")
((triple3 triple5) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1