The bear is cold. The bear is kind. The bear likes the tiger. The bear visits the tiger. The tiger chases the bear. The tiger is big. The tiger is cold. The tiger is kind. The tiger is nice. The tiger is rough. The tiger likes the bear. The tiger visits the bear. If someone chases the tiger and they are not nice then they like the tiger. If someone chases the tiger and the tiger is not kind then they like the tiger. If someone likes the tiger then they chase the bear. If someone likes the tiger and they do not chase the tiger then they chase the bear. If someone likes the tiger and they do not visit the bear then they are big. If someone likes the tiger then they do not like the bear. If the tiger is not cold then the tiger likes the bear. If someone likes the tiger and the tiger does not like the bear then the bear is cold.
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone chases the tiger and they are not nice then they like the tiger.
((("someone" "chases" "tiger" "+") ("someone" "is" "nice" "~")) -> ("someone" "likes" "tiger" "+"))
If someone chases the tiger and the tiger is not kind then they like the tiger.
((("someone" "chases" "tiger" "+") ("tiger" "is" "kind" "~")) -> ("someone" "likes" "tiger" "+"))
If someone likes the tiger then they chase the bear.
((("someone" "likes" "tiger" "+")) -> ("someone" "chases" "bear" "+"))
If someone likes the tiger and they do not chase the tiger then they chase the bear.
((("someone" "likes" "tiger" "+") ("someone" "chases" "tiger" "~")) -> ("someone" "chases" "bear" "+"))
If someone likes the tiger and they do not visit the bear then they are big.
((("someone" "likes" "tiger" "+") ("someone" "visits" "bear" "~")) -> ("someone" "is" "big" "+"))
If someone likes the tiger then they do not like the bear.
((("someone" "likes" "tiger" "+")) -> ("someone" "likes" "bear" "-"))
If the tiger is not cold then the tiger likes the bear.
((("tiger" "is" "cold" "~")) -> ("tiger" "likes" "bear" "+"))
If someone likes the tiger and the tiger does not like the bear then the bear is cold.
((("someone" "likes" "tiger" "+") ("tiger" "likes" "bear" "~")) -> ("bear" "is" "cold" "+"))
The tiger is kind.
True
1
proof
[(triple8)]
("tiger" "is" "kind" "+")
triple8
The tiger is not cold.
False
1
inv-proof
[(triple7)]
("tiger" "is" "cold" "-")
triple7
The bear chases the bear.
True
2
proof
[(((triple3) -> rule3))]
("bear" "chases" "bear" "+")
((triple3) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not chase the bear.
False
2
inv-proof
[(((triple3) -> rule3))]
("bear" "chases" "bear" "-")
((triple3) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is not big.
Unknown
inv-rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "big" "-")
The tiger likes the tiger.
Unknown
rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "tiger" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The bear is cold.[(triple1)] The bear is kind.[(triple2)] The bear likes the tiger.[(triple3)] The bear visits the tiger.[(triple4)] The tiger chases the bear.[(triple5)] The tiger is big.[(triple6)] The tiger is cold.[(triple7)] The tiger is kind.[(triple8)] The tiger is nice.[(triple9)] The tiger is rough.[(triple10)] The tiger likes the bear.[(triple11)] The tiger visits the bear.[(triple12)] @1: The bear chases the bear.[(((triple3) -> rule3))] The bear does not like the bear.[(((triple3) -> rule6))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple4
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple5
The tiger is big.
("tiger" "is" "big" "+")
triple6
The tiger is cold.
("tiger" "is" "cold" "+")
triple7
The tiger is kind.
("tiger" "is" "kind" "+")
triple8
The tiger is nice.
("tiger" "is" "nice" "+")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple11
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple12
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple3) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not like the bear.
("bear" "likes" "bear" "-")
((triple3) -> (rule6 % int1))
The bear does not like the bear.
("bear" "likes" "bear" "-")
int1