The bear chases the cow. The bear eats the cow. The bear is blue. 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 blue. The cow is cold. The cow is kind. The cow is not nice. The cow is rough. The cow visits the bear. If someone is blue then they visit the bear. If someone chases the bear and they chase the cow then the cow is rough. If someone is blue and they eat the cow then the cow is rough. If the cow eats the bear and the bear chases the cow then the bear visits the cow. If someone is cold and they visit the cow then they eat the cow. If someone chases the cow and they are not cold then they do not eat the cow. If the cow visits the bear and the cow chases the bear then the cow eats the bear. If someone is kind then they visit the cow.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is blue.
("bear" "is" "blue" "+")
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 blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is rough.
("cow" "is" "rough" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
If someone is blue then they visit the bear.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "bear" "+"))
If someone chases the bear and they chase the cow then the cow is rough.
((("someone" "chases" "bear" "+") ("someone" "chases" "cow" "+")) -> ("cow" "is" "rough" "+"))
If someone is blue and they eat the cow then the cow is rough.
((("someone" "is" "blue" "+") ("someone" "eats" "cow" "+")) -> ("cow" "is" "rough" "+"))
If the cow eats the bear and the bear chases the cow then the bear visits the cow.
((("cow" "eats" "bear" "+") ("bear" "chases" "cow" "+")) -> ("bear" "visits" "cow" "+"))
If someone is cold and they visit the cow then they eat the cow.
((("someone" "is" "cold" "+") ("someone" "visits" "cow" "+")) -> ("someone" "eats" "cow" "+"))
If someone chases the cow and they are not cold then they do not eat the cow.
((("someone" "chases" "cow" "+") ("someone" "is" "cold" "~")) -> ("someone" "eats" "cow" "-"))
If the cow visits the bear and the cow chases the bear then the cow eats the bear.
((("cow" "visits" "bear" "+") ("cow" "chases" "bear" "+")) -> ("cow" "eats" "bear" "+"))
If someone is kind then they visit the cow.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "cow" "+"))
The cow is blue.
True
1
proof
[(triple11)]
("cow" "is" "blue" "+")
triple11
The bear is not rough.
False
1
inv-proof
[(triple7)]
("bear" "is" "rough" "-")
triple7
The bear visits the bear.
True
2
proof
[(((triple3) -> rule1))]
("bear" "visits" "bear" "+")
((triple3) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The cow does not visit the cow.
False
2
inv-proof
[(((triple13) -> rule8))]
("cow" "visits" "cow" "-")
((triple13) -> (rule8 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow eats the cow.
True
4
proof
[(((triple12 ((triple13) -> rule8)) -> rule5))]
("cow" "eats" "cow" "+")
((triple12 ((triple13) -> (rule8 % int2))) -> (rule5 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The cow does not eat the cow.
False
4
inv-proof
[(((triple12 ((triple13) -> rule8)) -> rule5))]
("cow" "eats" "cow" "-")
((triple12 ((triple13) -> (rule8 % int2))) -> (rule5 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
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 bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear chases the cow.[(triple1)] The bear eats the cow.[(triple2 OR ((triple4 triple8) -> rule5) OR ((triple4 ((triple5) -> rule8)) -> rule5) OR ((triple4 ((triple10 triple1) -> rule4)) -> rule5) OR ((triple4 ((((triple16 triple9) -> rule7) triple1) -> rule4)) -> rule5) OR ((triple4 ((((((triple11) -> rule1) triple9) -> rule7) triple1) -> rule4)) -> rule5))] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear is kind.[(triple5)] The bear is nice.[(triple6)] The bear is rough.[(triple7)] The bear visits the cow.[(triple8 OR ((triple5) -> rule8) OR ((triple10 triple1) -> rule4) OR ((((triple16 triple9) -> rule7) triple1) -> rule4) OR ((((((triple11) -> rule1) triple9) -> rule7) triple1) -> rule4))] The cow chases the bear.[(triple9)] The cow eats the bear.[(triple10 OR ((triple16 triple9) -> rule7) OR ((((triple11) -> rule1) triple9) -> rule7))] The cow is blue.[(triple11)] The cow is cold.[(triple12)] The cow is kind.[(triple13)] The cow is not nice.[(triple14)] The cow is rough.[(triple15 OR ((triple3 triple2) -> rule3) OR ((triple3 ((triple4 triple8) -> rule5)) -> rule3) OR ((triple11 ((triple12 ((triple13) -> rule8)) -> rule5)) -> rule3) OR ((triple3 ((triple4 ((triple5) -> rule8)) -> rule5)) -> rule3) OR ((triple3 ((triple4 ((triple10 triple1) -> rule4)) -> rule5)) -> rule3) OR ((triple3 ((triple4 ((((triple16 triple9) -> rule7) triple1) -> rule4)) -> rule5)) -> rule3) OR ((triple3 ((triple4 ((((((triple11) -> rule1) triple9) -> rule7) triple1) -> rule4)) -> rule5)) -> rule3))] The cow visits the bear.[(triple16 OR ((triple11) -> rule1))] @1: The bear visits the bear.[(((triple3) -> rule1))] The cow visits the cow.[(((triple13) -> rule8))] @2: The cow eats the cow.[(((triple12 ((triple13) -> rule8)) -> rule5))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear eats the cow.
("bear" "eats" "cow" "+")
triple2
((triple4 triple8) -> (rule5 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
((triple4 ((triple5) -> (rule8 % int2))) -> (rule5 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2
((triple4 ((triple10 triple1) -> (rule4 % int2))) -> (rule5 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2
((triple4 ((((triple16 triple9) -> (rule7 % int3)) triple1) -> (rule4 % int2))) -> (rule5 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
int3
((triple4 ((((((triple11) -> (rule1 % int4)) triple9) -> (rule7 % int3)) triple1) -> (rule4 % int2))) -> (rule5 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
int3
The cow visits the bear.
("cow" "visits" "bear" "+")
int4
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is kind.
("bear" "is" "kind" "+")
triple5
The bear is nice.
("bear" "is" "nice" "+")
triple6
The bear is rough.
("bear" "is" "rough" "+")
triple7
The bear visits the cow.
("bear" "visits" "cow" "+")
triple8
((triple5) -> (rule8 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
((triple10 triple1) -> (rule4 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
((((triple16 triple9) -> (rule7 % int2)) triple1) -> (rule4 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
((((((triple11) -> (rule1 % int3)) triple9) -> (rule7 % int2)) triple1) -> (rule4 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
The cow visits the bear.
("cow" "visits" "bear" "+")
int3
The cow chases the bear.
("cow" "chases" "bear" "+")
triple9
The cow eats the bear.
("cow" "eats" "bear" "+")
triple10
((triple16 triple9) -> (rule7 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
((((triple11) -> (rule1 % int2)) triple9) -> (rule7 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
triple11
The cow is cold.
("cow" "is" "cold" "+")
triple12
The cow is kind.
("cow" "is" "kind" "+")
triple13
The cow is not nice.
("cow" "is" "nice" "-")
triple14
The cow is rough.
("cow" "is" "rough" "+")
triple15
((triple3 triple2) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple3 ((triple4 triple8) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
int2
((triple11 ((triple12 ((triple13) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
((triple3 ((triple4 ((triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
int2
The bear visits the cow.
("bear" "visits" "cow" "+")
int3
((triple3 ((triple4 ((triple10 triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
int2
The bear visits the cow.
("bear" "visits" "cow" "+")
int3
((triple3 ((triple4 ((((triple16 triple9) -> (rule7 % int4)) triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
int2
The bear visits the cow.
("bear" "visits" "cow" "+")
int3
The cow eats the bear.
("cow" "eats" "bear" "+")
int4
((triple3 ((triple4 ((((((triple11) -> (rule1 % int5)) triple9) -> (rule7 % int4)) triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The bear eats the cow.
("bear" "eats" "cow" "+")
int2
The bear visits the cow.
("bear" "visits" "cow" "+")
int3
The cow eats the bear.
("cow" "eats" "bear" "+")
int4
The cow visits the bear.
("cow" "visits" "bear" "+")
int5
The cow visits the bear.
("cow" "visits" "bear" "+")
triple16
((triple11) -> (rule1 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple3) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple13) -> (rule8 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple12 ((triple13) -> (rule8 % int2))) -> (rule5 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2