The cow chases the tiger. The cow is blue. The cow is rough. The cow likes the tiger. The cow visits the tiger. The tiger chases the cow. The tiger is not blue. The tiger is kind. The tiger is red. The tiger is not round. The tiger does not like the cow. The tiger does not visit the cow. If something chases the tiger and it visits the tiger then it is kind. If something is blue then it chases the cow.
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is not blue.
("tiger" "is" "blue" "-")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
The tiger does not visit the cow.
("tiger" "visits" "cow" "-")
If something chases the tiger and it visits the tiger then it is kind.
((("something" "chases" "tiger" "+") ("something" "visits" "tiger" "+")) -> ("something" "is" "kind" "+"))
If something is blue then it chases the cow.
((("something" "is" "blue" "+")) -> ("something" "chases" "cow" "+"))
The tiger is red.
True
1
proof
[(triple9)]
("tiger" "is" "red" "+")
triple9
The cow is not rough.
False
1
inv-proof
[(triple3)]
("cow" "is" "rough" "-")
triple3
The cow chases the cow.
True
2
proof
[(((triple2) -> rule2))]
("cow" "chases" "cow" "+")
((triple2) -> (rule2 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is not kind.
False
3
inv-proof
[(((triple1 triple5) -> rule1))]
("cow" "is" "kind" "-")
((triple1 triple5) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
The tiger is not rough.
Unknown
inv-random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cow chases the tiger.[(triple1)] The cow is blue.[(triple2)] The cow is rough.[(triple3)] The cow likes the tiger.[(triple4)] The cow visits the tiger.[(triple5)] The tiger chases the cow.[(triple6)] The tiger does not like the cow.[(triple11)] The tiger does not visit the cow.[(triple12)] The tiger is kind.[(triple8)] The tiger is not blue.[(triple7)] The tiger is not round.[(triple10)] The tiger is red.[(triple9)] @1: The cow chases the cow.[(((triple2) -> rule2))] The cow is kind.[(((triple1 triple5) -> rule1))]
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple4
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple5
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple6
The tiger does not like the cow.
("tiger" "likes" "cow" "-")
triple11
The tiger does not visit the cow.
("tiger" "visits" "cow" "-")
triple12
The tiger is kind.
("tiger" "is" "kind" "+")
triple8
The tiger is not blue.
("tiger" "is" "blue" "-")
triple7
The tiger is not round.
("tiger" "is" "round" "-")
triple10
The tiger is red.
("tiger" "is" "red" "+")
triple9
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple2) -> (rule2 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
((triple1 triple5) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1