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