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