The bear is big. The bear is rough. The bear is round. The bear likes the cow. The bear needs the cow. The bear visits the cow. The cow is big. The cow is blue. The cow is nice. The cow likes the bear. If something is blue and it likes the cow then the cow needs the bear. If something needs the cow and the cow needs the bear then the cow likes the bear. If something visits the cow and the cow is rough then the cow likes the bear. If something is big and not nice then it does not visit the cow. If something needs the bear then it is not rough. If something is round and it likes the cow then it is blue.
The bear is big.
("bear" "is" "big" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
If something is blue and it likes the cow then the cow needs the bear.
((("something" "is" "blue" "+") ("something" "likes" "cow" "+")) -> ("cow" "needs" "bear" "+"))
If something needs the cow and the cow needs the bear then the cow likes the bear.
((("something" "needs" "cow" "+") ("cow" "needs" "bear" "+")) -> ("cow" "likes" "bear" "+"))
If something visits the cow and the cow is rough then the cow likes the bear.
((("something" "visits" "cow" "+") ("cow" "is" "rough" "+")) -> ("cow" "likes" "bear" "+"))
If something is big and not nice then it does not visit the cow.
((("something" "is" "big" "+") ("something" "is" "nice" "~")) -> ("something" "visits" "cow" "-"))
If something needs the bear then it is not rough.
((("something" "needs" "bear" "+")) -> ("something" "is" "rough" "-"))
If something is round and it likes the cow then it is blue.
((("something" "is" "round" "+") ("something" "likes" "cow" "+")) -> ("something" "is" "blue" "+"))
The bear needs the cow.
True
1
proof
[(triple5)]
("bear" "needs" "cow" "+")
triple5
The bear does not need the cow.
False
1
inv-proof
[(triple5)]
("bear" "needs" "cow" "-")
triple5
The bear is blue.
True
3
proof
[(((triple3 triple4) -> rule6))]
("bear" "is" "blue" "+")
((triple3 triple4) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not blue.
False
3
inv-proof
[(((triple3 triple4) -> rule6))]
("bear" "is" "blue" "-")
((triple3 triple4) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The cow needs the bear.
True
5
proof
[(((((triple3 triple4) -> rule6) triple4) -> rule1))]
("cow" "needs" "bear" "+")
((((triple3 triple4) -> (rule6 % int2)) triple4) -> (rule1 % int1))
The cow needs the bear.
("cow" "needs" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The cow does not need the bear.
False
5
inv-proof
[(((((triple3 triple4) -> rule6) triple4) -> rule1))]
("cow" "needs" "bear" "-")
((((triple3 triple4) -> (rule6 % int2)) triple4) -> (rule1 % int1))
The cow needs the bear.
("cow" "needs" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear is big.[(triple1)] The bear is rough.[(triple2)] The bear is round.[(triple3)] The bear likes the cow.[(triple4)] The bear needs the cow.[(triple5)] The bear visits the cow.[(triple6)] The cow is big.[(triple7)] The cow is blue.[(triple8)] The cow is nice.[(triple9)] The cow likes the bear.[(triple10 OR ((triple5 ((((triple3 triple4) -> rule6) triple4) -> rule1)) -> rule2))] @1: The bear is blue.[(((triple3 triple4) -> rule6))] @2: The cow needs the bear.[(((((triple3 triple4) -> rule6) triple4) -> rule1))] @3: The cow is not rough.[(((((((triple3 triple4) -> rule6) triple4) -> rule1)) -> rule5))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear likes the cow.
("bear" "likes" "cow" "+")
triple4
The bear needs the cow.
("bear" "needs" "cow" "+")
triple5
The bear visits the cow.
("bear" "visits" "cow" "+")
triple6
The cow is big.
("cow" "is" "big" "+")
triple7
The cow is blue.
("cow" "is" "blue" "+")
triple8
The cow is nice.
("cow" "is" "nice" "+")
triple9
The cow likes the bear.
("cow" "likes" "bear" "+")
triple10
((triple5 ((((triple3 triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is blue.
("bear" "is" "blue" "+")
((triple3 triple4) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
((((triple3 triple4) -> (rule6 % int2)) triple4) -> (rule1 % int1))
The cow needs the bear.
("cow" "needs" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The cow is not rough.
("cow" "is" "rough" "-")
((((((triple3 triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2))) -> (rule5 % int1))
The cow is not rough.
("cow" "is" "rough" "-")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3