The bald eagle is big. The bald eagle is blue. The bald eagle visits the cow. The cow eats the rabbit. The cow is blue. The cow is red. The cow is round. The cow sees the lion. The cow visits the bald eagle. The lion is round. The lion sees the bald eagle. The lion visits the bald eagle. The lion visits the cow. The rabbit is big. The rabbit is red. The rabbit sees the bald eagle. Round people are rough. If someone visits the bald eagle and the bald eagle is rough then the bald eagle sees the cow. Big, blue people are red. If someone is red then they visit the rabbit. If someone is big then they are round. If someone eats the cow then they are red.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The lion is round.
("lion" "is" "round" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
Round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone visits the bald eagle and the bald eagle is rough then the bald eagle sees the cow.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "is" "rough" "+")) -> ("bald eagle" "sees" "cow" "+"))
Big, blue people are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is red then they visit the rabbit.
((("someone" "is" "red" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone eats the cow then they are red.
((("someone" "eats" "cow" "+")) -> ("someone" "is" "red" "+"))
The cow eats the rabbit.
True
1
proof
[(triple4)]
("cow" "eats" "rabbit" "+")
triple4
The rabbit does not see the bald eagle.
False
1
inv-proof
[(triple16)]
("rabbit" "sees" "bald eagle" "-")
triple16
The cow visits the rabbit.
True
2
proof
[(((triple6) -> rule4))]
("cow" "visits" "rabbit" "+")
((triple6) -> (rule4 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The rabbit is not round.
False
2
inv-proof
[(((triple14) -> rule5))]
("rabbit" "is" "round" "-")
((triple14) -> (rule5 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The bald eagle visits the rabbit.
True
4
proof
[(((((triple1 triple2) -> rule3)) -> rule4))]
("bald eagle" "visits" "rabbit" "+")
((((triple1 triple2) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The rabbit is not rough.
False
3
inv-proof
[(((((triple14) -> rule5)) -> rule1))]
("rabbit" "is" "rough" "-")
((((triple14) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The bald eagle sees the cow.
True
5
proof
[(((triple12 ((((triple1) -> rule5)) -> rule1)) -> rule2) OR ((triple9 ((((triple1) -> rule5)) -> rule1)) -> rule2))]
("bald eagle" "sees" "cow" "+")
((triple12 ((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
((triple9 ((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The bald eagle does not see the cow.
False
5
inv-proof
[(((triple12 ((((triple1) -> rule5)) -> rule1)) -> rule2) OR ((triple9 ((((triple1) -> rule5)) -> rule1)) -> rule2))]
("bald eagle" "sees" "cow" "-")
((triple12 ((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
((triple9 ((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The lion does not visit the rabbit.
Unknown
inv-rconc
[@2: The lion visits the rabbit.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("lion" "visits" "rabbit" "-")
The lion is red.
Unknown
rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "red" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The bald eagle sees the lion.
Unknown
random
[@0: The bald eagle sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "lion" "+")
The lion is not big.
Unknown
inv-random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "-")
The bald eagle sees the rabbit.
Unknown
random
[@0: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "rabbit" "+")
The cow does not see the rabbit.
Unknown
inv-random
[@0: The cow sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "rabbit" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle visits the cow.[(triple3)] The cow eats the rabbit.[(triple4)] The cow is blue.[(triple5)] The cow is red.[(triple6)] The cow is round.[(triple7)] The cow sees the lion.[(triple8)] The cow visits the bald eagle.[(triple9)] The lion is round.[(triple10)] The lion sees the bald eagle.[(triple11)] The lion visits the bald eagle.[(triple12)] The lion visits the cow.[(triple13)] The rabbit is big.[(triple14)] The rabbit is red.[(triple15)] The rabbit sees the bald eagle.[(triple16)] @1: The bald eagle is red.[(((triple1 triple2) -> rule3))] The bald eagle is round.[(((triple1) -> rule5))] The cow is rough.[(((triple7) -> rule1))] The cow visits the rabbit.[(((triple6) -> rule4))] The lion is rough.[(((triple10) -> rule1))] The rabbit is round.[(((triple14) -> rule5))] The rabbit visits the rabbit.[(((triple15) -> rule4))] @2: The bald eagle is rough.[(((((triple1) -> rule5)) -> rule1))] The bald eagle visits the rabbit.[(((((triple1 triple2) -> rule3)) -> rule4))] The rabbit is rough.[(((((triple14) -> rule5)) -> rule1))] @3: The bald eagle sees the cow.[(((triple12 ((((triple1) -> rule5)) -> rule1)) -> rule2) OR ((triple9 ((((triple1) -> rule5)) -> rule1)) -> rule2))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple3
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple4
The cow is blue.
("cow" "is" "blue" "+")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow is round.
("cow" "is" "round" "+")
triple7
The cow sees the lion.
("cow" "sees" "lion" "+")
triple8
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple9
The lion is round.
("lion" "is" "round" "+")
triple10
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple11
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple12
The lion visits the cow.
("lion" "visits" "cow" "+")
triple13
The rabbit is big.
("rabbit" "is" "big" "+")
triple14
The rabbit is red.
("rabbit" "is" "red" "+")
triple15
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple16
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple1 triple2) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple1) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
((triple7) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
((triple6) -> (rule4 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
((triple10) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
((triple14) -> (rule5 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((triple15) -> (rule4 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
((((triple1 triple2) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
((((triple14) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
((triple12 ((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
((triple9 ((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3