The lion eats the rabbit. The rabbit chases the lion. The rabbit eats the lion. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit visits the lion. If someone eats the lion then the lion chases the rabbit. If someone chases the rabbit and the rabbit is nice then they are cold.
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If someone eats the lion then the lion chases the rabbit.
((("someone" "eats" "lion" "+")) -> ("lion" "chases" "rabbit" "+"))
If someone chases the rabbit and the rabbit is nice then they are cold.
((("someone" "chases" "rabbit" "+") ("rabbit" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
The rabbit eats the lion.
True
1
proof
[(triple3)]
("rabbit" "eats" "lion" "+")
triple3
The rabbit does not visit the lion.
False
1
inv-proof
[(triple7)]
("rabbit" "visits" "lion" "-")
triple7
The lion chases the rabbit.
True
2
proof
[(((triple3) -> rule1))]
("lion" "chases" "rabbit" "+")
((triple3) -> (rule1 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
The lion does not chase the rabbit.
False
2
inv-proof
[(((triple3) -> rule1))]
("lion" "chases" "rabbit" "-")
((triple3) -> (rule1 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
The lion is cold.
True
4
proof
[(((((triple3) -> rule1) triple5) -> rule2))]
("lion" "is" "cold" "+")
((((triple3) -> (rule1 % int2)) triple5) -> (rule2 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion is not cold.
False
4
inv-proof
[(((((triple3) -> rule1) triple5) -> rule2))]
("lion" "is" "cold" "-")
((((triple3) -> (rule1 % int2)) triple5) -> (rule2 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The rabbit is not cold.
Unknown
inv-rconc
[@1: The rabbit is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "cold" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
The lion is not green.
Unknown
inv-random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "-")
The rabbit is blue.
Unknown
random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "+")
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
@0: The lion eats the rabbit.[(triple1)] The rabbit chases the lion.[(triple2)] The rabbit eats the lion.[(triple3)] The rabbit is green.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is red.[(triple6)] The rabbit visits the lion.[(triple7)] @1: The lion chases the rabbit.[(((triple3) -> rule1))] @2: The lion is cold.[(((((triple3) -> rule1) triple5) -> rule2))]
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple1
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple2
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple3
The rabbit is green.
("rabbit" "is" "green" "+")
triple4
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple5
The rabbit is red.
("rabbit" "is" "red" "+")
triple6
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple7
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
((triple3) -> (rule1 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
((((triple3) -> (rule1 % int2)) triple5) -> (rule2 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2