The cat chases the cow. The cat chases the mouse. The cat is not nice. The cat sees the cow. The cat sees the mouse. The cat does not visit the cow. The cat visits the mouse. The cow chases the mouse. The cow is blue. The cow is round. The cow sees the mouse. The mouse chases the cat. The mouse is round. The mouse does not see the cat. The mouse sees the cow. If someone sees the mouse then they are kind. If someone chases the cow and the cow sees the cat then the cow does not see the mouse. If someone sees the cow then they are blue. If the mouse is blue and the mouse is kind then the mouse visits the cat. If someone is kind then they are red. If someone is round then they see the mouse.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is not nice.
("cat" "is" "nice" "-")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cat does not visit the cow.
("cat" "visits" "cow" "-")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is round.
("cow" "is" "round" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse does not see the cat.
("mouse" "sees" "cat" "-")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If someone sees the mouse then they are kind.
((("someone" "sees" "mouse" "+")) -> ("someone" "is" "kind" "+"))
If someone chases the cow and the cow sees the cat then the cow does not see the mouse.
((("someone" "chases" "cow" "+") ("cow" "sees" "cat" "+")) -> ("cow" "sees" "mouse" "-"))
If someone sees the cow then they are blue.
((("someone" "sees" "cow" "+")) -> ("someone" "is" "blue" "+"))
If the mouse is blue and the mouse is kind then the mouse visits the cat.
((("mouse" "is" "blue" "+") ("mouse" "is" "kind" "+")) -> ("mouse" "visits" "cat" "+"))
If someone is kind then they are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is round then they see the mouse.
((("someone" "is" "round" "+")) -> ("someone" "sees" "mouse" "+"))
The cat sees the cow.
True
1
proof
[(triple4)]
("cat" "sees" "cow" "+")
triple4
The cow is not round.
False
1
inv-proof
[(triple10)]
("cow" "is" "round" "-")
triple10
The cat is blue.
True
2
proof
[(((triple4) -> rule3))]
("cat" "is" "blue" "+")
((triple4) -> (rule3 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is not blue.
False
2
inv-proof
[(((triple4) -> rule3))]
("cat" "is" "blue" "-")
((triple4) -> (rule3 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is red.
True
3
proof
[(((((triple5) -> rule1)) -> rule5))]
("cat" "is" "red" "+")
((((triple5) -> (rule1 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cow is not red.
False
3
inv-proof
[(((((triple11) -> rule1)) -> rule5) OR ((((((triple10) -> rule6)) -> rule1)) -> rule5))]
("cow" "is" "red" "-")
((((triple11) -> (rule1 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((((triple10) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int3
The mouse visits the cat.
True
6
proof
[(((((triple15) -> rule3) ((((triple13) -> rule6)) -> rule1)) -> rule4))]
("mouse" "visits" "cat" "+")
((((triple15) -> (rule3 % int4)) ((((triple13) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse is not red.
False
4
inv-proof
[(((((((triple13) -> rule6)) -> rule1)) -> rule5))]
("mouse" "is" "red" "-")
((((((triple13) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse does not visit the cow.
Unknown
inv-random
[@0: The mouse visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "cow" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
The mouse does not chase the cow.
Unknown
inv-random
[@0: The mouse chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "cow" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
The cow does not see the cat.
Unknown
inv-random
[@0: The cow sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cat" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The cow is not nice.
Unknown
inv-random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cat chases the cow.[(triple1)] The cat chases the mouse.[(triple2)] The cat does not visit the cow.[(triple6)] The cat is not nice.[(triple3)] The cat sees the cow.[(triple4)] The cat sees the mouse.[(triple5)] The cat visits the mouse.[(triple7)] The cow chases the mouse.[(triple8)] The cow is blue.[(triple9)] The cow is round.[(triple10)] The cow sees the mouse.[(triple11 OR ((triple10) -> rule6))] The mouse chases the cat.[(triple12)] The mouse does not see the cat.[(triple14)] The mouse is round.[(triple13)] The mouse sees the cow.[(triple15)] @1: The cat is blue.[(((triple4) -> rule3))] The cat is kind.[(((triple5) -> rule1))] The cow is kind.[(((triple11) -> rule1) OR ((((triple10) -> rule6)) -> rule1))] The mouse is blue.[(((triple15) -> rule3))] The mouse sees the mouse.[(((triple13) -> rule6))] @2: The cat is red.[(((((triple5) -> rule1)) -> rule5))] The cow is red.[(((((triple11) -> rule1)) -> rule5) OR ((((((triple10) -> rule6)) -> rule1)) -> rule5))] The mouse is kind.[(((((triple13) -> rule6)) -> rule1))] @3: The mouse is red.[(((((((triple13) -> rule6)) -> rule1)) -> rule5))] The mouse visits the cat.[(((((triple15) -> rule3) ((((triple13) -> rule6)) -> rule1)) -> rule4))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple2
The cat does not visit the cow.
("cat" "visits" "cow" "-")
triple6
The cat is not nice.
("cat" "is" "nice" "-")
triple3
The cat sees the cow.
("cat" "sees" "cow" "+")
triple4
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple5
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple7
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple8
The cow is blue.
("cow" "is" "blue" "+")
triple9
The cow is round.
("cow" "is" "round" "+")
triple10
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple11
((triple10) -> (rule6 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple12
The mouse does not see the cat.
("mouse" "sees" "cat" "-")
triple14
The mouse is round.
("mouse" "is" "round" "+")
triple13
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple15
The cat is blue.
("cat" "is" "blue" "+")
((triple4) -> (rule3 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
((triple5) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
((triple11) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((((triple10) -> (rule6 % int2))) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
((triple15) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple13) -> (rule6 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The cat is red.
("cat" "is" "red" "+")
((((triple5) -> (rule1 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cow is red.
("cow" "is" "red" "+")
((((triple11) -> (rule1 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((((triple10) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int3
The mouse is kind.
("mouse" "is" "kind" "+")
((((triple13) -> (rule6 % int2))) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
((((((triple13) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse visits the cat.
("mouse" "visits" "cat" "+")
((((triple15) -> (rule3 % int4)) ((((triple13) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4