The bald eagle is blue. The bald eagle is nice. The bald eagle is red. The bald eagle needs the cat. The bald eagle needs the rabbit. The bald eagle sees the cat. The bald eagle sees the rabbit. The bald eagle visits the cat. The bald eagle visits the rabbit. The cat is nice. The cat needs the rabbit. The cat visits the bald eagle. The cat visits the rabbit. The rabbit is big. The rabbit needs the cat. If the cat sees the rabbit then the cat needs the bald eagle. If the cat visits the bald eagle and the bald eagle sees the rabbit then the rabbit visits the bald eagle. If someone sees the rabbit then they need the rabbit. If someone sees the cat and the cat is blue then they are nice. If someone needs the cat and the cat sees the rabbit then the rabbit is big. If someone is red and they visit the bald eagle then the bald eagle sees the cat. If someone is red then they visit the cat. If someone needs the rabbit and they are nice then they visit the cat.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
If the cat sees the rabbit then the cat needs the bald eagle.
((("cat" "sees" "rabbit" "+")) -> ("cat" "needs" "bald eagle" "+"))
If the cat visits the bald eagle and the bald eagle sees the rabbit then the rabbit visits the bald eagle.
((("cat" "visits" "bald eagle" "+") ("bald eagle" "sees" "rabbit" "+")) -> ("rabbit" "visits" "bald eagle" "+"))
If someone sees the rabbit then they need the rabbit.
((("someone" "sees" "rabbit" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone sees the cat and the cat is blue then they are nice.
((("someone" "sees" "cat" "+") ("cat" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone needs the cat and the cat sees the rabbit then the rabbit is big.
((("someone" "needs" "cat" "+") ("cat" "sees" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
If someone is red and they visit the bald eagle then the bald eagle sees the cat.
((("someone" "is" "red" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "sees" "cat" "+"))
If someone is red then they visit the cat.
((("someone" "is" "red" "+")) -> ("someone" "visits" "cat" "+"))
If someone needs the rabbit and they are nice then they visit the cat.
((("someone" "needs" "rabbit" "+") ("someone" "is" "nice" "+")) -> ("someone" "visits" "cat" "+"))
The bald eagle is red.
True
1
proof
[(triple3)]
("bald eagle" "is" "red" "+")
triple3
The bald eagle is not nice.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "nice" "-")
triple2
The rabbit visits the bald eagle.
True
3
proof
[(((triple12 triple7) -> rule2))]
("rabbit" "visits" "bald eagle" "+")
((triple12 triple7) -> (rule2 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The cat does not visit the cat.
False
3
inv-proof
[(((triple11 triple10) -> rule8))]
("cat" "visits" "cat" "-")
((triple11 triple10) -> (rule8 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The rabbit does not need the rabbit.
Unknown
inv-rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit visits the cat.
Unknown
rconc
[@2: The rabbit visits the cat.[CWA. Example of deepest failure = (rule8 <- rule3 <- FAIL)]]
("rabbit" "visits" "cat" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The rabbit is blue.
Unknown
random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle needs the cat.[(triple4)] The bald eagle needs the rabbit.[(triple5 OR ((triple7) -> rule3))] The bald eagle sees the cat.[(triple6)] The bald eagle sees the rabbit.[(triple7)] The bald eagle visits the cat.[(triple8 OR ((triple3) -> rule7) OR ((triple5 triple2) -> rule8) OR ((((triple7) -> rule3) triple2) -> rule8))] The bald eagle visits the rabbit.[(triple9)] The cat is nice.[(triple10)] The cat needs the rabbit.[(triple11)] The cat visits the bald eagle.[(triple12)] The cat visits the rabbit.[(triple13)] The rabbit is big.[(triple14)] The rabbit needs the cat.[(triple15)] @1: The cat visits the cat.[(((triple11 triple10) -> rule8))] The rabbit visits the bald eagle.[(((triple12 triple7) -> rule2))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple4
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple5
((triple7) -> (rule3 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple6
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple7
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple8
((triple3) -> (rule7 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
((triple5 triple2) -> (rule8 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
((((triple7) -> (rule3 % int2)) triple2) -> (rule8 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple9
The cat is nice.
("cat" "is" "nice" "+")
triple10
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple11
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple12
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple13
The rabbit is big.
("rabbit" "is" "big" "+")
triple14
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple15
The cat visits the cat.
("cat" "visits" "cat" "+")
((triple11 triple10) -> (rule8 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
((triple12 triple7) -> (rule2 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1