The rabbit is rough. 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 rabbit. If the rabbit is blue and the rabbit does not visit the tiger then the tiger sees the rabbit. If something is green then it likes the tiger. If something visits the rabbit and the rabbit visits the tiger then it likes the tiger.
The rabbit is rough.
("rabbit" "is" "rough" "+")
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 rabbit.
("tiger" "visits" "rabbit" "+")
If the rabbit is blue and the rabbit does not visit the tiger then the tiger sees the rabbit.
((("rabbit" "is" "blue" "+") ("rabbit" "visits" "tiger" "~")) -> ("tiger" "sees" "rabbit" "+"))
If something is green then it likes the tiger.
((("something" "is" "green" "+")) -> ("something" "likes" "tiger" "+"))
If something visits the rabbit and the rabbit visits the tiger then it likes the tiger.
((("something" "visits" "rabbit" "+") ("rabbit" "visits" "tiger" "+")) -> ("something" "likes" "tiger" "+"))
The tiger is blue.
True
1
proof
[(triple3)]
("tiger" "is" "blue" "+")
triple3
The rabbit does not visit the tiger.
False
1
inv-proof
[(triple2)]
("rabbit" "visits" "tiger" "-")
triple2
The rabbit does not like the tiger.
Unknown
inv-rconc
[@1: The rabbit likes the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "likes" "tiger" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The rabbit is rough.[(triple1)] The rabbit visits the tiger.[(triple2)] The tiger is blue.[(triple3)] The tiger is green.[(triple4)] The tiger likes the rabbit.[(triple5)] The tiger sees the rabbit.[(triple6)] The tiger visits the rabbit.[(triple7)] @1: The tiger likes the tiger.[(((triple4) -> rule2) OR ((triple7 triple2) -> rule3))]
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple1
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple2
The tiger is blue.
("tiger" "is" "blue" "+")
triple3
The tiger is green.
("tiger" "is" "green" "+")
triple4
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple5
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple6
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple7
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple4) -> (rule2 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
((triple7 triple2) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1