The cow chases the rabbit. The cow eats the rabbit. The cow is not round. The cow is young. The cow likes the rabbit. The rabbit is cold. The rabbit likes the cow. If the rabbit is cold then the rabbit chases the cow. If someone likes the cow and the cow likes the rabbit then the cow is young. If the rabbit eats the cow and the rabbit is not cold then the cow likes the rabbit. If the cow chases the rabbit and the cow is cold then the cow likes the rabbit. If someone is cold and they like the rabbit then they like the cow. If someone eats the rabbit then the rabbit likes the cow.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is not round.
("cow" "is" "round" "-")
The cow is young.
("cow" "is" "young" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If the rabbit is cold then the rabbit chases the cow.
((("rabbit" "is" "cold" "+")) -> ("rabbit" "chases" "cow" "+"))
If someone likes the cow and the cow likes the rabbit then the cow is young.
((("someone" "likes" "cow" "+") ("cow" "likes" "rabbit" "+")) -> ("cow" "is" "young" "+"))
If the rabbit eats the cow and the rabbit is not cold then the cow likes the rabbit.
((("rabbit" "eats" "cow" "+") ("rabbit" "is" "cold" "~")) -> ("cow" "likes" "rabbit" "+"))
If the cow chases the rabbit and the cow is cold then the cow likes the rabbit.
((("cow" "chases" "rabbit" "+") ("cow" "is" "cold" "+")) -> ("cow" "likes" "rabbit" "+"))
If someone is cold and they like the rabbit then they like the cow.
((("someone" "is" "cold" "+") ("someone" "likes" "rabbit" "+")) -> ("someone" "likes" "cow" "+"))
If someone eats the rabbit then the rabbit likes the cow.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "likes" "cow" "+"))
The rabbit is cold.
True
1
proof
[(triple6)]
("rabbit" "is" "cold" "+")
triple6
The cow does not like the rabbit.
False
1
inv-proof
[(triple5)]
("cow" "likes" "rabbit" "-")
triple5
The rabbit chases the cow.
True
2
proof
[(((triple6) -> rule1))]
("rabbit" "chases" "cow" "+")
((triple6) -> (rule1 % int1))
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
int1
The rabbit does not chase the cow.
False
2
inv-proof
[(((triple6) -> rule1))]
("rabbit" "chases" "cow" "-")
((triple6) -> (rule1 % int1))
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
int1
The cow does not like the cow.
Unknown
inv-rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "likes" "cow" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The rabbit does not eat the cow.
Unknown
inv-random
[@0: The rabbit eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cow" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
@0: The cow chases the rabbit.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is not round.[(triple3)] The cow is young.[(triple4 OR ((triple7 triple5) -> rule2) OR ((((triple2) -> rule6) triple5) -> rule2))] The cow likes the rabbit.[(triple5)] The rabbit is cold.[(triple6)] The rabbit likes the cow.[(triple7 OR ((triple2) -> rule6))] @1: The rabbit chases the cow.[(((triple6) -> rule1))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple2
The cow is not round.
("cow" "is" "round" "-")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
((triple7 triple5) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
((((triple2) -> (rule6 % int2)) triple5) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
int2
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple5
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple6
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple7
((triple2) -> (rule6 % int1))
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
int1
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
((triple6) -> (rule1 % int1))
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
int1