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