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