The bald eagle chases the tiger. The bald eagle is big. The bald eagle is red. The bald eagle likes the tiger. The bald eagle visits the cat. The cat chases the tiger. The cat is red. The cat is round. The cat visits the tiger. The tiger chases the bald eagle. If something likes the bald eagle and it likes the cat then it is rough. If something likes the bald eagle then it chases the bald eagle. If something likes the cat then it visits the bald eagle. If something likes the cat and the cat visits the tiger then the cat chases the tiger. If the cat is red and the cat is rough then the cat chases the tiger. If something chases the tiger and it is big then it visits the cat. If something is big then it likes the cat. If something is round then it chases the tiger.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
If something likes the bald eagle and it likes the cat then it is rough.
((("something" "likes" "bald eagle" "+") ("something" "likes" "cat" "+")) -> ("something" "is" "rough" "+"))
If something likes the bald eagle then it chases the bald eagle.
((("something" "likes" "bald eagle" "+")) -> ("something" "chases" "bald eagle" "+"))
If something likes the cat then it visits the bald eagle.
((("something" "likes" "cat" "+")) -> ("something" "visits" "bald eagle" "+"))
If something likes the cat and the cat visits the tiger then the cat chases the tiger.
((("something" "likes" "cat" "+") ("cat" "visits" "tiger" "+")) -> ("cat" "chases" "tiger" "+"))
If the cat is red and the cat is rough then the cat chases the tiger.
((("cat" "is" "red" "+") ("cat" "is" "rough" "+")) -> ("cat" "chases" "tiger" "+"))
If something chases the tiger and it is big then it visits the cat.
((("something" "chases" "tiger" "+") ("something" "is" "big" "+")) -> ("something" "visits" "cat" "+"))
If something is big then it likes the cat.
((("something" "is" "big" "+")) -> ("something" "likes" "cat" "+"))
If something is round then it chases the tiger.
((("something" "is" "round" "+")) -> ("something" "chases" "tiger" "+"))
The cat is red.
True
1
proof
[(triple7)]
("cat" "is" "red" "+")
triple7
The bald eagle does not visit the cat.
False
1
inv-proof
[(triple5 OR ((triple1 triple2) -> rule6))]
("bald eagle" "visits" "cat" "-")
triple5
((triple1 triple2) -> (rule6 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The bald eagle likes the cat.
True
2
proof
[(((triple2) -> rule7))]
("bald eagle" "likes" "cat" "+")
((triple2) -> (rule7 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle does not like the cat.
False
2
inv-proof
[(((triple2) -> rule7))]
("bald eagle" "likes" "cat" "-")
((triple2) -> (rule7 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle visits the bald eagle.
True
3
proof
[(((((triple2) -> rule7)) -> rule3))]
("bald eagle" "visits" "bald eagle" "+")
((((triple2) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int2
The bald eagle does not visit the bald eagle.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule3))]
("bald eagle" "visits" "bald eagle" "-")
((((triple2) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int2
The tiger does not visit the bald eagle.
Unknown
inv-rconc
[@2: The tiger visits the bald eagle.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("tiger" "visits" "bald eagle" "-")
The tiger likes the cat.
Unknown
rconc
[@1: The tiger likes the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "likes" "cat" "+")
The cat does not visit the cat.
Unknown
inv-rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "visits" "cat" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The tiger does not like the bald eagle.
Unknown
inv-random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "-")
The tiger chases the cat.
Unknown
random
[@0: The tiger chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "cat" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bald eagle visits the cat.[(triple5 OR ((triple1 triple2) -> rule6))] The cat chases the tiger.[(triple6 OR ((triple8) -> rule8) OR ((((triple2) -> rule7) triple9) -> rule4))] The cat is red.[(triple7)] The cat is round.[(triple8)] The cat visits the tiger.[(triple9)] The tiger chases the bald eagle.[(triple10)] @1: The bald eagle likes the cat.[(((triple2) -> rule7))] @2: The bald eagle visits the bald eagle.[(((((triple2) -> rule7)) -> rule3))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple4
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple5
((triple1 triple2) -> (rule6 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple6
((triple8) -> (rule8 % int1))
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int1
((((triple2) -> (rule7 % int2)) triple9) -> (rule4 % int1))
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int2
The cat is red.
("cat" "is" "red" "+")
triple7
The cat is round.
("cat" "is" "round" "+")
triple8
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple9
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple10
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
((triple2) -> (rule7 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((triple2) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int2