The cow eats the rabbit. The cow is blue. The cow is kind. The cow is red. The cow is rough. The cow is round. The cow sees the rabbit. The cow visits the rabbit. The rabbit does not eat the cow. The rabbit is blue. The rabbit is kind. The rabbit is rough. The rabbit is round. The rabbit sees the cow. The rabbit visits the cow. If something sees the cow and it is blue then it does not eat the rabbit. If the cow is blue then the cow is rough. If something is blue then it visits the cow.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit does not eat the cow.
("rabbit" "eats" "cow" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If something sees the cow and it is blue then it does not eat the rabbit.
((("something" "sees" "cow" "+") ("something" "is" "blue" "+")) -> ("something" "eats" "rabbit" "-"))
If the cow is blue then the cow is rough.
((("cow" "is" "blue" "+")) -> ("cow" "is" "rough" "+"))
If something is blue then it visits the cow.
((("something" "is" "blue" "+")) -> ("something" "visits" "cow" "+"))
The rabbit is kind.
True
1
proof
[(triple11)]
("rabbit" "is" "kind" "+")
triple11
The cow is not round.
False
1
inv-proof
[(triple6)]
("cow" "is" "round" "-")
triple6
The rabbit does not eat the rabbit.
True
3
proof
[(((triple14 triple10) -> rule1))]
("rabbit" "eats" "rabbit" "-")
((triple14 triple10) -> (rule1 % int1))
The rabbit does not eat the rabbit.
("rabbit" "eats" "rabbit" "-")
int1
The rabbit eats the rabbit.
False
3
inv-proof
[(((triple14 triple10) -> rule1))]
("rabbit" "eats" "rabbit" "+")
((triple14 triple10) -> (rule1 % int1))
The rabbit does not eat the rabbit.
("rabbit" "eats" "rabbit" "-")
int1
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The cow eats the rabbit.[(triple1)] The cow is blue.[(triple2)] The cow is kind.[(triple3)] The cow is red.[(triple4)] The cow is rough.[(triple5 OR ((triple2) -> rule2))] The cow is round.[(triple6)] The cow sees the rabbit.[(triple7)] The cow visits the rabbit.[(triple8)] The rabbit does not eat the cow.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is rough.[(triple12)] The rabbit is round.[(triple13)] The rabbit sees the cow.[(triple14)] The rabbit visits the cow.[(triple15 OR ((triple10) -> rule3))] @1: The cow visits the cow.[(((triple2) -> rule3))] The rabbit does not eat the rabbit.[(((triple14 triple10) -> rule1))]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
((triple2) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
triple6
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple7
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple8
The rabbit does not eat the cow.
("rabbit" "eats" "cow" "-")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple11
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple14
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple15
((triple10) -> (rule3 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple2) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The rabbit does not eat the rabbit.
("rabbit" "eats" "rabbit" "-")
((triple14 triple10) -> (rule1 % int1))
The rabbit does not eat the rabbit.
("rabbit" "eats" "rabbit" "-")
int1