The bald eagle is round. The cow is red. The lion eats the bald eagle. The rabbit visits the lion. If something is blue then it likes the rabbit. Round things are blue. If something is blue then it visits the lion. If something likes the rabbit and it is round then the rabbit likes the bald eagle. If something is cold and it likes the rabbit then the rabbit eats the bald eagle. If something likes the rabbit then the rabbit likes the lion. If something visits the lion and it likes the lion then the lion is blue. If something is cold and red then it eats the rabbit.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cow is red.
("cow" "is" "red" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If something is blue then it likes the rabbit.
((("something" "is" "blue" "+")) -> ("something" "likes" "rabbit" "+"))
Round things are blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it visits the lion.
((("something" "is" "blue" "+")) -> ("something" "visits" "lion" "+"))
If something likes the rabbit and it is round then the rabbit likes the bald eagle.
((("something" "likes" "rabbit" "+") ("something" "is" "round" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
If something is cold and it likes the rabbit then the rabbit eats the bald eagle.
((("something" "is" "cold" "+") ("something" "likes" "rabbit" "+")) -> ("rabbit" "eats" "bald eagle" "+"))
If something likes the rabbit then the rabbit likes the lion.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "likes" "lion" "+"))
If something visits the lion and it likes the lion then the lion is blue.
((("something" "visits" "lion" "+") ("something" "likes" "lion" "+")) -> ("lion" "is" "blue" "+"))
If something is cold and red then it eats the rabbit.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "eats" "rabbit" "+"))
The lion eats the bald eagle.
True
1
proof
[(triple3)]
("lion" "eats" "bald eagle" "+")
triple3
The bald eagle is not round.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "round" "-")
triple1
The bald eagle is blue.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is not blue.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "is" "blue" "-")
((triple1) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle likes the rabbit.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("bald eagle" "likes" "rabbit" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle does not like the rabbit.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("bald eagle" "likes" "rabbit" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The rabbit likes the lion.
True
4
proof
[(((((((triple1) -> rule2)) -> rule1)) -> rule6))]
("rabbit" "likes" "lion" "+")
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The rabbit does not like the bald eagle.
False
5
inv-proof
[(((((((triple1) -> rule2)) -> rule1) triple1) -> rule4))]
("rabbit" "likes" "bald eagle" "-")
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle does not eat the rabbit.
Unknown
inv-rconc
[@1: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "eats" "rabbit" "-")
The rabbit likes the rabbit.
Unknown
rconc
[@2: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("rabbit" "likes" "rabbit" "+")
The cow does not like the rabbit.
Unknown
inv-rconc
[@2: The cow likes the rabbit.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("cow" "likes" "rabbit" "-")
The rabbit is blue.
Unknown
rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "blue" "+")
The lion is not red.
Unknown
inv-random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "-")
The lion visits the cow.
Unknown
random
[@0: The lion visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "cow" "+")
The rabbit does not visit the bald eagle.
Unknown
inv-random
[@0: The rabbit visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bald eagle" "-")
The cow likes the lion.
Unknown
random
[@0: The cow likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "lion" "+")
@0: The bald eagle is round.[(triple1)] The cow is red.[(triple2)] The lion eats the bald eagle.[(triple3)] The rabbit visits the lion.[(triple4)] @1: The bald eagle is blue.[(((triple1) -> rule2))] @2: The bald eagle likes the rabbit.[(((((triple1) -> rule2)) -> rule1))] The bald eagle visits the lion.[(((((triple1) -> rule2)) -> rule3))] @3: The rabbit likes the bald eagle.[(((((((triple1) -> rule2)) -> rule1) triple1) -> rule4))] The rabbit likes the lion.[(((((((triple1) -> rule2)) -> rule1)) -> rule6))] @4: The lion is blue.[(((triple4 ((((((triple1) -> rule2)) -> rule1)) -> rule6)) -> rule7))] @5: The lion likes the rabbit.[(((((triple4 ((((((triple1) -> rule2)) -> rule1)) -> rule6)) -> rule7)) -> rule1))] The lion visits the lion.[(((((triple4 ((((((triple1) -> rule2)) -> rule1)) -> rule6)) -> rule7)) -> rule3))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple3
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
((triple4 ((((((triple1) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int4
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
((((triple4 ((((((triple1) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int5
The lion visits the lion.
("lion" "visits" "lion" "+")
((((triple4 ((((((triple1) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int5