The bear chases the cow. The bear eats the cow. The bear eats the lion. The bear is blue. The bear is red. The bear is round. The bear visits the lion. The cow chases the lion. The cow eats the lion. The cow is blue. The cow is kind. The cow is red. The cow visits the bear. The cow visits the lion. The lion is round. The lion visits the bear. If someone visits the bear then the bear is kind. If someone is kind and round then they visit the cow.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion is round.
("lion" "is" "round" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If someone visits the bear then the bear is kind.
((("someone" "visits" "bear" "+")) -> ("bear" "is" "kind" "+"))
If someone is kind and round then they visit the cow.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "visits" "cow" "+"))
The cow is kind.
True
1
proof
[(triple11)]
("cow" "is" "kind" "+")
triple11
The bear does not eat the lion.
False
1
inv-proof
[(triple3)]
("bear" "eats" "lion" "-")
triple3
The bear is kind.
True
2
proof
[(((triple13) -> rule1) OR ((triple16) -> rule1))]
("bear" "is" "kind" "+")
((triple13) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
((triple16) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is not kind.
False
2
inv-proof
[(((triple13) -> rule1) OR ((triple16) -> rule1))]
("bear" "is" "kind" "-")
((triple13) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
((triple16) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear visits the cow.
True
4
proof
[(((((triple13) -> rule1) triple6) -> rule2) OR ((((triple16) -> rule1) triple6) -> rule2))]
("bear" "visits" "cow" "+")
((((triple13) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
((((triple16) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear does not visit the cow.
False
4
inv-proof
[(((((triple13) -> rule1) triple6) -> rule2) OR ((((triple16) -> rule1) triple6) -> rule2))]
("bear" "visits" "cow" "-")
((((triple13) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
((((triple16) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The lion does not visit the cow.
Unknown
inv-rconc
[@1: The lion visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "visits" "cow" "-")
The cow visits the cow.
Unknown
rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "visits" "cow" "+")
The cow does not chase the bear.
Unknown
inv-random
[@0: The cow chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bear" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
The bear does not chase the lion.
Unknown
inv-random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bear chases the cow.[(triple1)] The bear eats the cow.[(triple2)] The bear eats the lion.[(triple3)] The bear is blue.[(triple4)] The bear is red.[(triple5)] The bear is round.[(triple6)] The bear visits the lion.[(triple7)] The cow chases the lion.[(triple8)] The cow eats the lion.[(triple9)] The cow is blue.[(triple10)] The cow is kind.[(triple11)] The cow is red.[(triple12)] The cow visits the bear.[(triple13)] The cow visits the lion.[(triple14)] The lion is round.[(triple15)] The lion visits the bear.[(triple16)] @1: The bear is kind.[(((triple13) -> rule1) OR ((triple16) -> rule1))] @2: The bear visits the cow.[(((((triple13) -> rule1) triple6) -> rule2) OR ((((triple16) -> rule1) triple6) -> rule2))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear eats the cow.
("bear" "eats" "cow" "+")
triple2
The bear eats the lion.
("bear" "eats" "lion" "+")
triple3
The bear is blue.
("bear" "is" "blue" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
The bear visits the lion.
("bear" "visits" "lion" "+")
triple7
The cow chases the lion.
("cow" "chases" "lion" "+")
triple8
The cow eats the lion.
("cow" "eats" "lion" "+")
triple9
The cow is blue.
("cow" "is" "blue" "+")
triple10
The cow is kind.
("cow" "is" "kind" "+")
triple11
The cow is red.
("cow" "is" "red" "+")
triple12
The cow visits the bear.
("cow" "visits" "bear" "+")
triple13
The cow visits the lion.
("cow" "visits" "lion" "+")
triple14
The lion is round.
("lion" "is" "round" "+")
triple15
The lion visits the bear.
("lion" "visits" "bear" "+")
triple16
The bear is kind.
("bear" "is" "kind" "+")
((triple13) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
((triple16) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear visits the cow.
("bear" "visits" "cow" "+")
((((triple13) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
((((triple16) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2