The cat is green. The cat likes the mouse. The cat sees the cow. The cow eats the mouse. The cow is big. The cow is cold. The cow is kind. The cow is young. The cow likes the cat. The mouse eats the cow. The mouse is cold. The rabbit eats the mouse. The rabbit is cold. The rabbit is kind. The rabbit sees the cow. If someone is cold then they like the mouse. If someone likes the cat and they like the mouse then the mouse likes the cat.
The cat is green.
("cat" "is" "green" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
If someone is cold then they like the mouse.
((("someone" "is" "cold" "+")) -> ("someone" "likes" "mouse" "+"))
If someone likes the cat and they like the mouse then the mouse likes the cat.
((("someone" "likes" "cat" "+") ("someone" "likes" "mouse" "+")) -> ("mouse" "likes" "cat" "+"))
The cow eats the mouse.
True
1
proof
[(triple4)]
("cow" "eats" "mouse" "+")
triple4
The cat does not like the mouse.
False
1
inv-proof
[(triple2)]
("cat" "likes" "mouse" "-")
triple2
The mouse likes the mouse.
True
2
proof
[(((triple11) -> rule1))]
("mouse" "likes" "mouse" "+")
((triple11) -> (rule1 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The cow does not like the mouse.
False
2
inv-proof
[(((triple6) -> rule1))]
("cow" "likes" "mouse" "-")
((triple6) -> (rule1 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The mouse likes the cat.
True
4
proof
[(((triple9 ((triple6) -> rule1)) -> rule2))]
("mouse" "likes" "cat" "+")
((triple9 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int2
The mouse does not like the cat.
False
4
inv-proof
[(((triple9 ((triple6) -> rule1)) -> rule2))]
("mouse" "likes" "cat" "-")
((triple9 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int2
The cat does not like the cow.
Unknown
inv-random
[@0: The cat likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cow" "-")
The cat eats the mouse.
Unknown
random
[@0: The cat eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "mouse" "+")
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 sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The cat is green.[(triple1)] The cat likes the mouse.[(triple2)] The cat sees the cow.[(triple3)] The cow eats the mouse.[(triple4)] The cow is big.[(triple5)] The cow is cold.[(triple6)] The cow is kind.[(triple7)] The cow is young.[(triple8)] The cow likes the cat.[(triple9)] The mouse eats the cow.[(triple10)] The mouse is cold.[(triple11)] The rabbit eats the mouse.[(triple12)] The rabbit is cold.[(triple13)] The rabbit is kind.[(triple14)] The rabbit sees the cow.[(triple15)] @1: The cow likes the mouse.[(((triple6) -> rule1))] The mouse likes the mouse.[(((triple11) -> rule1))] The rabbit likes the mouse.[(((triple13) -> rule1))] @2: The mouse likes the cat.[(((triple9 ((triple6) -> rule1)) -> rule2))]
The cat is green.
("cat" "is" "green" "+")
triple1
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple2
The cat sees the cow.
("cat" "sees" "cow" "+")
triple3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple4
The cow is big.
("cow" "is" "big" "+")
triple5
The cow is cold.
("cow" "is" "cold" "+")
triple6
The cow is kind.
("cow" "is" "kind" "+")
triple7
The cow is young.
("cow" "is" "young" "+")
triple8
The cow likes the cat.
("cow" "likes" "cat" "+")
triple9
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple10
The mouse is cold.
("mouse" "is" "cold" "+")
triple11
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple12
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple13
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple14
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple15
The cow likes the mouse.
("cow" "likes" "mouse" "+")
((triple6) -> (rule1 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple11) -> (rule1 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
((triple13) -> (rule1 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The mouse likes the cat.
("mouse" "likes" "cat" "+")
((triple9 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int2