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