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