The bear eats the cow. The bear is cold. The bear is kind. The bear is nice. The bear is not red. The bear likes the cow. The bear visits the cow. The cow eats the bear. The cow is cold. The cow is kind. The cow is nice. The cow is red. The cow is young. The cow likes the bear. The cow visits the bear. If something eats the bear then it visits the bear. If something is nice and it likes the cow then it eats the bear.
The bear eats the cow.
("bear" "eats" "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 not red.
("bear" "is" "red" "-")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
If something eats the bear then it visits the bear.
((("something" "eats" "bear" "+")) -> ("something" "visits" "bear" "+"))
If something is nice and it likes the cow then it eats the bear.
((("something" "is" "nice" "+") ("something" "likes" "cow" "+")) -> ("something" "eats" "bear" "+"))
The cow visits the bear.
True
1
proof
[(triple15 OR ((triple8) -> rule1))]
("cow" "visits" "bear" "+")
triple15
((triple8) -> (rule1 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow does not eat the bear.
False
1
inv-proof
[(triple8)]
("cow" "eats" "bear" "-")
triple8
The bear eats the bear.
True
3
proof
[(((triple4 triple6) -> rule2))]
("bear" "eats" "bear" "+")
((triple4 triple6) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear does not eat the bear.
False
3
inv-proof
[(((triple4 triple6) -> rule2))]
("bear" "eats" "bear" "-")
((triple4 triple6) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear visits the bear.
True
4
proof
[(((((triple4 triple6) -> rule2)) -> rule1))]
("bear" "visits" "bear" "+")
((((triple4 triple6) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear does not visit the bear.
False
4
inv-proof
[(((((triple4 triple6) -> rule2)) -> rule1))]
("bear" "visits" "bear" "-")
((((triple4 triple6) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear eats the cow.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is not red.[(triple5)] The bear likes the cow.[(triple6)] The bear visits the cow.[(triple7)] The cow eats the bear.[(triple8)] The cow is cold.[(triple9)] The cow is kind.[(triple10)] The cow is nice.[(triple11)] The cow is red.[(triple12)] The cow is young.[(triple13)] The cow likes the bear.[(triple14)] The cow visits the bear.[(triple15 OR ((triple8) -> rule1))] @1: The bear eats the bear.[(((triple4 triple6) -> rule2))] @2: The bear visits the bear.[(((((triple4 triple6) -> rule2)) -> rule1))]
The bear eats the cow.
("bear" "eats" "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 not red.
("bear" "is" "red" "-")
triple5
The bear likes the cow.
("bear" "likes" "cow" "+")
triple6
The bear visits the cow.
("bear" "visits" "cow" "+")
triple7
The cow eats the bear.
("cow" "eats" "bear" "+")
triple8
The cow is cold.
("cow" "is" "cold" "+")
triple9
The cow is kind.
("cow" "is" "kind" "+")
triple10
The cow is nice.
("cow" "is" "nice" "+")
triple11
The cow is red.
("cow" "is" "red" "+")
triple12
The cow is young.
("cow" "is" "young" "+")
triple13
The cow likes the bear.
("cow" "likes" "bear" "+")
triple14
The cow visits the bear.
("cow" "visits" "bear" "+")
triple15
((triple8) -> (rule1 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple4 triple6) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((((triple4 triple6) -> (rule2 % int2))) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2