The rabbit is green. The rabbit is not round. The rabbit does not like the tiger. The tiger eats the rabbit. The tiger is big. The tiger is blue. The tiger is cold. The tiger is round. The tiger likes the rabbit. The tiger needs the rabbit. If someone is big then they like the tiger. If someone likes the rabbit then they eat the tiger.
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is not round.
("rabbit" "is" "round" "-")
The rabbit does not like the tiger.
("rabbit" "likes" "tiger" "-")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If someone is big then they like the tiger.
((("someone" "is" "big" "+")) -> ("someone" "likes" "tiger" "+"))
If someone likes the rabbit then they eat the tiger.
((("someone" "likes" "rabbit" "+")) -> ("someone" "eats" "tiger" "+"))
The rabbit is not round.
True
1
proof
[(triple2)]
("rabbit" "is" "round" "-")
triple2
The tiger does not like the rabbit.
False
1
inv-proof
[(triple9)]
("tiger" "likes" "rabbit" "-")
triple9
The rabbit does not eat the tiger.
Unknown
inv-rconc
[@1: The rabbit eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "eats" "tiger" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
@0: The rabbit does not like the tiger.[(triple3)] The rabbit is green.[(triple1)] The rabbit is not round.[(triple2)] The tiger eats the rabbit.[(triple4)] The tiger is big.[(triple5)] The tiger is blue.[(triple6)] The tiger is cold.[(triple7)] The tiger is round.[(triple8)] The tiger likes the rabbit.[(triple9)] The tiger needs the rabbit.[(triple10)] @1: The tiger eats the tiger.[(((triple9) -> rule2))] The tiger likes the tiger.[(((triple5) -> rule1))]
The rabbit does not like the tiger.
("rabbit" "likes" "tiger" "-")
triple3
The rabbit is green.
("rabbit" "is" "green" "+")
triple1
The rabbit is not round.
("rabbit" "is" "round" "-")
triple2
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple4
The tiger is big.
("tiger" "is" "big" "+")
triple5
The tiger is blue.
("tiger" "is" "blue" "+")
triple6
The tiger is cold.
("tiger" "is" "cold" "+")
triple7
The tiger is round.
("tiger" "is" "round" "+")
triple8
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple9
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple10
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple9) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple5) -> (rule1 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1