The bear is round. The bear is young. The bear likes the rabbit. The bear visits the rabbit. The bear does not visit the tiger. The rabbit is round. The rabbit is young. The rabbit does not like the bear. The rabbit does not see the tiger. The rabbit visits the bear. The rabbit visits the tiger. The tiger is blue. The tiger is green. The tiger likes the rabbit. The tiger sees the rabbit. The tiger visits the bear. If someone visits the bear and they are not young then the bear is blue. Round people are cold. If the rabbit visits the bear and the bear is green then the bear is cold.
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The bear does not visit the tiger.
("bear" "visits" "tiger" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
The rabbit does not see the tiger.
("rabbit" "sees" "tiger" "-")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If someone visits the bear and they are not young then the bear is blue.
((("someone" "visits" "bear" "+") ("someone" "is" "young" "~")) -> ("bear" "is" "blue" "+"))
Round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If the rabbit visits the bear and the bear is green then the bear is cold.
((("rabbit" "visits" "bear" "+") ("bear" "is" "green" "+")) -> ("bear" "is" "cold" "+"))
The rabbit does not see the tiger.
True
1
proof
[(triple9)]
("rabbit" "sees" "tiger" "-")
triple9
The rabbit does not visit the tiger.
False
1
inv-proof
[(triple11)]
("rabbit" "visits" "tiger" "-")
triple11
The rabbit is cold.
True
2
proof
[(((triple6) -> rule2))]
("rabbit" "is" "cold" "+")
((triple6) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is not cold.
False
2
inv-proof
[(((triple6) -> rule2))]
("rabbit" "is" "cold" "-")
((triple6) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The bear is not blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "blue" "-")
The tiger is cold.
Unknown
rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "cold" "+")
The rabbit does not like the tiger.
Unknown
inv-random
[@0: The rabbit likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "tiger" "-")
The rabbit is blue.
Unknown
random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "+")
@0: The bear does not visit the tiger.[(triple5)] The bear is round.[(triple1)] The bear is young.[(triple2)] The bear likes the rabbit.[(triple3)] The bear visits the rabbit.[(triple4)] The rabbit does not like the bear.[(triple8)] The rabbit does not see the tiger.[(triple9)] The rabbit is round.[(triple6)] The rabbit is young.[(triple7)] The rabbit visits the bear.[(triple10)] The rabbit visits the tiger.[(triple11)] The tiger is blue.[(triple12)] The tiger is green.[(triple13)] The tiger likes the rabbit.[(triple14)] The tiger sees the rabbit.[(triple15)] The tiger visits the bear.[(triple16)] @1: The bear is cold.[(((triple1) -> rule2))] The rabbit is cold.[(((triple6) -> rule2))]
The bear does not visit the tiger.
("bear" "visits" "tiger" "-")
triple5
The bear is round.
("bear" "is" "round" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple4
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
triple8
The rabbit does not see the tiger.
("rabbit" "sees" "tiger" "-")
triple9
The rabbit is round.
("rabbit" "is" "round" "+")
triple6
The rabbit is young.
("rabbit" "is" "young" "+")
triple7
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple10
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple11
The tiger is blue.
("tiger" "is" "blue" "+")
triple12
The tiger is green.
("tiger" "is" "green" "+")
triple13
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple14
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple15
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple16
The bear is cold.
("bear" "is" "cold" "+")
((triple1) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple6) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1