The bear is cold. The bear is green. The bear is kind. The bear is round. The bear likes the cow. The cow is green. The cow is kind. The cow is rough. The cow is round. The cow likes the bear. The cow likes the rabbit. The cow sees the bear. The cow sees the rabbit. The rabbit chases the bear. The rabbit is cold. The rabbit likes the cow. If the rabbit likes the bear then the bear likes the rabbit. If something likes the cow then it chases the rabbit. If something is green and it sees the cow then it sees the rabbit. If something chases the rabbit and the rabbit likes the cow then it is rough. If something is round then it chases the cow. If something likes the rabbit and it is rough then it likes the bear. If something likes the cow and it is kind then it sees the rabbit. If something likes the cow then the cow likes the bear.
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If the rabbit likes the bear then the bear likes the rabbit.
((("rabbit" "likes" "bear" "+")) -> ("bear" "likes" "rabbit" "+"))
If something likes the cow then it chases the rabbit.
((("something" "likes" "cow" "+")) -> ("something" "chases" "rabbit" "+"))
If something is green and it sees the cow then it sees the rabbit.
((("something" "is" "green" "+") ("something" "sees" "cow" "+")) -> ("something" "sees" "rabbit" "+"))
If something chases the rabbit and the rabbit likes the cow then it is rough.
((("something" "chases" "rabbit" "+") ("rabbit" "likes" "cow" "+")) -> ("something" "is" "rough" "+"))
If something is round then it chases the cow.
((("something" "is" "round" "+")) -> ("something" "chases" "cow" "+"))
If something likes the rabbit and it is rough then it likes the bear.
((("something" "likes" "rabbit" "+") ("something" "is" "rough" "+")) -> ("something" "likes" "bear" "+"))
If something likes the cow and it is kind then it sees the rabbit.
((("something" "likes" "cow" "+") ("something" "is" "kind" "+")) -> ("something" "sees" "rabbit" "+"))
If something likes the cow then the cow likes the bear.
((("something" "likes" "cow" "+")) -> ("cow" "likes" "bear" "+"))
The cow likes the rabbit.
True
1
proof
[(triple11)]
("cow" "likes" "rabbit" "+")
triple11
The bear does not like the cow.
False
1
inv-proof
[(triple5)]
("bear" "likes" "cow" "-")
triple5
The rabbit chases the rabbit.
True
2
proof
[(((triple16) -> rule2))]
("rabbit" "chases" "rabbit" "+")
((triple16) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The bear does not chase the cow.
False
2
inv-proof
[(((triple4) -> rule5))]
("bear" "chases" "cow" "-")
((triple4) -> (rule5 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The bear is rough.
True
4
proof
[(((((triple5) -> rule2) triple16) -> rule4))]
("bear" "is" "rough" "+")
((((triple5) -> (rule2 % int2)) triple16) -> (rule4 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear is not rough.
False
4
inv-proof
[(((((triple5) -> rule2) triple16) -> rule4))]
("bear" "is" "rough" "-")
((((triple5) -> (rule2 % int2)) triple16) -> (rule4 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear does not like the rabbit.
Unknown
inv-rconc
[@2: The bear likes the rabbit.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("bear" "likes" "rabbit" "-")
The cow chases the rabbit.
Unknown
rconc
[@1: The cow chases the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "rabbit" "+")
The rabbit does not chase the cow.
Unknown
inv-rconc
[@1: The rabbit chases the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "chases" "cow" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
The rabbit does not see the bear.
Unknown
inv-random
[@0: The rabbit sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "bear" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is round.[(triple4)] The bear likes the cow.[(triple5)] The cow is green.[(triple6)] The cow is kind.[(triple7)] The cow is rough.[(triple8)] The cow is round.[(triple9)] The cow likes the bear.[(triple10 OR ((triple16) -> rule8) OR ((triple5) -> rule8) OR ((triple11 triple8) -> rule6))] The cow likes the rabbit.[(triple11)] The cow sees the bear.[(triple12)] The cow sees the rabbit.[(triple13)] The rabbit chases the bear.[(triple14)] The rabbit is cold.[(triple15)] The rabbit likes the cow.[(triple16)] @1: The bear chases the cow.[(((triple4) -> rule5))] The bear chases the rabbit.[(((triple5) -> rule2))] The bear sees the rabbit.[(((triple5 triple3) -> rule7))] The cow chases the cow.[(((triple9) -> rule5))] The rabbit chases the rabbit.[(((triple16) -> rule2))] @2: The bear is rough.[(((((triple5) -> rule2) triple16) -> rule4))] The rabbit is rough.[(((((triple16) -> rule2) triple16) -> rule4))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear likes the cow.
("bear" "likes" "cow" "+")
triple5
The cow is green.
("cow" "is" "green" "+")
triple6
The cow is kind.
("cow" "is" "kind" "+")
triple7
The cow is rough.
("cow" "is" "rough" "+")
triple8
The cow is round.
("cow" "is" "round" "+")
triple9
The cow likes the bear.
("cow" "likes" "bear" "+")
triple10
((triple16) -> (rule8 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
((triple5) -> (rule8 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
((triple11 triple8) -> (rule6 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple11
The cow sees the bear.
("cow" "sees" "bear" "+")
triple12
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple13
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple14
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple15
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple16
The bear chases the cow.
("bear" "chases" "cow" "+")
((triple4) -> (rule5 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
((triple5) -> (rule2 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
((triple5 triple3) -> (rule7 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple9) -> (rule5 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple16) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
((((triple5) -> (rule2 % int2)) triple16) -> (rule4 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
((((triple16) -> (rule2 % int2)) triple16) -> (rule4 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2