The cow is rough. The cow is round. The cow likes the tiger. The tiger chases the cow. The tiger is big. The tiger is blue. The tiger likes the cow. If the cow likes the tiger and the tiger chases the cow then the cow chases the tiger.
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
If the cow likes the tiger and the tiger chases the cow then the cow chases the tiger.
((("cow" "likes" "tiger" "+") ("tiger" "chases" "cow" "+")) -> ("cow" "chases" "tiger" "+"))
The tiger likes the cow.
True
1
proof
[(triple7)]
("tiger" "likes" "cow" "+")
triple7
The tiger is not big.
False
1
inv-proof
[(triple5)]
("tiger" "is" "big" "-")
triple5
The cow chases the tiger.
True
3
proof
[(((triple3 triple4) -> rule1))]
("cow" "chases" "tiger" "+")
((triple3 triple4) -> (rule1 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow does not chase the tiger.
False
3
inv-proof
[(((triple3 triple4) -> rule1))]
("cow" "chases" "tiger" "-")
((triple3 triple4) -> (rule1 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The cow needs the tiger.
Unknown
random
[@0: The cow needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "tiger" "+")
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 chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The cow is rough.[(triple1)] The cow is round.[(triple2)] The cow likes the tiger.[(triple3)] The tiger chases the cow.[(triple4)] The tiger is big.[(triple5)] The tiger is blue.[(triple6)] The tiger likes the cow.[(triple7)] @1: The cow chases the tiger.[(((triple3 triple4) -> rule1))]
The cow is rough.
("cow" "is" "rough" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple3
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple4
The tiger is big.
("tiger" "is" "big" "+")
triple5
The tiger is blue.
("tiger" "is" "blue" "+")
triple6
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple7
The cow chases the tiger.
("cow" "chases" "tiger" "+")
((triple3 triple4) -> (rule1 % int1))
The cow chases the tiger.
("cow" "chases" "tiger" "+")
int1