The bear chases the cow. The bear is cold. The bear is kind. The bear is nice. The bear is rough. The bear visits the cow. The cow chases the bear. The cow eats the bear. The cow is kind. The cow is nice. The cow is rough. The cow visits the bear. If something visits the bear and the bear visits the cow then it eats the cow. If something eats the cow and it is rough then it eats the bear. If something is nice then it visits the bear.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
If something visits the bear and the bear visits the cow then it eats the cow.
((("something" "visits" "bear" "+") ("bear" "visits" "cow" "+")) -> ("something" "eats" "cow" "+"))
If something eats the cow and it is rough then it eats the bear.
((("something" "eats" "cow" "+") ("something" "is" "rough" "+")) -> ("something" "eats" "bear" "+"))
If something is nice then it visits the bear.
((("something" "is" "nice" "+")) -> ("something" "visits" "bear" "+"))
The bear is kind.
True
1
proof
[(triple3)]
("bear" "is" "kind" "+")
triple3
The cow does not chase the bear.
False
1
inv-proof
[(triple7)]
("cow" "chases" "bear" "-")
triple7
The bear visits the bear.
True
2
proof
[(((triple4) -> rule3))]
("bear" "visits" "bear" "+")
((triple4) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The cow does not eat the cow.
False
3
inv-proof
[(((triple12 triple6) -> rule1) OR ((((triple10) -> rule3) triple6) -> rule1))]
("cow" "eats" "cow" "-")
((triple12 triple6) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
((((triple10) -> (rule3 % int2)) triple6) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
int2
The bear eats the cow.
True
4
proof
[(((((triple4) -> rule3) triple6) -> rule1))]
("bear" "eats" "cow" "+")
((((triple4) -> (rule3 % int2)) triple6) -> (rule1 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The bear does not eat the cow.
False
4
inv-proof
[(((((triple4) -> rule3) triple6) -> rule1))]
("bear" "eats" "cow" "-")
((((triple4) -> (rule3 % int2)) triple6) -> (rule1 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The bear eats the bear.
True
6
proof
[(((((((triple4) -> rule3) triple6) -> rule1) triple5) -> rule2))]
("bear" "eats" "bear" "+")
((((((triple4) -> (rule3 % int3)) triple6) -> (rule1 % int2)) triple5) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
The bear does not eat the bear.
False
6
inv-proof
[(((((((triple4) -> rule3) triple6) -> rule1) triple5) -> rule2))]
("bear" "eats" "bear" "-")
((((((triple4) -> (rule3 % int3)) triple6) -> (rule1 % int2)) triple5) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
The cow is not cold.
Unknown
inv-random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The bear chases the cow.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is rough.[(triple5)] The bear visits the cow.[(triple6)] The cow chases the bear.[(triple7)] The cow eats the bear.[(triple8 OR ((((triple12 triple6) -> rule1) triple11) -> rule2) OR ((((((triple10) -> rule3) triple6) -> rule1) triple11) -> rule2))] The cow is kind.[(triple9)] The cow is nice.[(triple10)] The cow is rough.[(triple11)] The cow visits the bear.[(triple12 OR ((triple10) -> rule3))] @1: The bear visits the bear.[(((triple4) -> rule3))] The cow eats the cow.[(((triple12 triple6) -> rule1) OR ((((triple10) -> rule3) triple6) -> rule1))] @2: The bear eats the cow.[(((((triple4) -> rule3) triple6) -> rule1))] @3: The bear eats the bear.[(((((((triple4) -> rule3) triple6) -> rule1) triple5) -> rule2))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear visits the cow.
("bear" "visits" "cow" "+")
triple6
The cow chases the bear.
("cow" "chases" "bear" "+")
triple7
The cow eats the bear.
("cow" "eats" "bear" "+")
triple8
((((triple12 triple6) -> (rule1 % int2)) triple11) -> (rule2 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
((((((triple10) -> (rule3 % int3)) triple6) -> (rule1 % int2)) triple11) -> (rule2 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow visits the bear.
("cow" "visits" "bear" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
triple9
The cow is nice.
("cow" "is" "nice" "+")
triple10
The cow is rough.
("cow" "is" "rough" "+")
triple11
The cow visits the bear.
("cow" "visits" "bear" "+")
triple12
((triple10) -> (rule3 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple4) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple12 triple6) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
((((triple10) -> (rule3 % int2)) triple6) -> (rule1 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
int2
The bear eats the cow.
("bear" "eats" "cow" "+")
((((triple4) -> (rule3 % int2)) triple6) -> (rule1 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
((((((triple4) -> (rule3 % int3)) triple6) -> (rule1 % int2)) triple5) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3