The cow does not chase the rabbit. The cow eats the rabbit. The cow is cold. The cow is round. The cow visits the rabbit. The rabbit chases the cow. The rabbit eats the cow. The rabbit is big. The rabbit is green. The rabbit is round. The rabbit is young. The rabbit visits the cow. If someone chases the rabbit and they eat the cow then they eat the rabbit. If someone is round then they eat the cow. If someone is young then they chase the cow.
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is round.
("cow" "is" "round" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If someone chases the rabbit and they eat the cow then they eat the rabbit.
((("someone" "chases" "rabbit" "+") ("someone" "eats" "cow" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone is round then they eat the cow.
((("someone" "is" "round" "+")) -> ("someone" "eats" "cow" "+"))
If someone is young then they chase the cow.
((("someone" "is" "young" "+")) -> ("someone" "chases" "cow" "+"))
The rabbit visits the cow.
True
1
proof
[(triple12)]
("rabbit" "visits" "cow" "+")
triple12
The rabbit does not visit the cow.
False
1
inv-proof
[(triple12)]
("rabbit" "visits" "cow" "-")
triple12
The cow eats the cow.
True
2
proof
[(((triple4) -> rule2))]
("cow" "eats" "cow" "+")
((triple4) -> (rule2 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow does not eat the cow.
False
2
inv-proof
[(((triple4) -> rule2))]
("cow" "eats" "cow" "-")
((triple4) -> (rule2 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "chases" "cow" "-")
The rabbit eats the rabbit.
Unknown
rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "rabbit" "+")
The rabbit is not cold.
Unknown
inv-random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cow does not chase the rabbit.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is cold.[(triple3)] The cow is round.[(triple4)] The cow visits the rabbit.[(triple5)] The rabbit chases the cow.[(triple6 OR ((triple11) -> rule3))] The rabbit eats the cow.[(triple7 OR ((triple10) -> rule2))] The rabbit is big.[(triple8)] The rabbit is green.[(triple9)] The rabbit is round.[(triple10)] The rabbit is young.[(triple11)] The rabbit visits the cow.[(triple12)] @1: The cow eats the cow.[(((triple4) -> rule2))]
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
triple1
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple5
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple6
((triple11) -> (rule3 % int1))
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple7
((triple10) -> (rule2 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
The rabbit is round.
("rabbit" "is" "round" "+")
triple10
The rabbit is young.
("rabbit" "is" "young" "+")
triple11
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple12
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple4) -> (rule2 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1