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