The bald eagle chases the tiger. The bald eagle is green. The bald eagle likes the cat. The bald eagle likes the tiger. The cat chases the bald eagle. The cat chases the tiger. The cat is big. The cat likes the bald eagle. The cat likes the tiger. The cat sees the bald eagle. The cat sees the tiger. The tiger chases the cat. The tiger is green. The tiger is rough. The tiger sees the bald eagle. The tiger sees the cat. If something sees the cat then the cat is rough. If something is cold then it chases the cat. If something sees the cat and the cat likes the tiger then the tiger likes the cat. If something chases the cat and it is cold then it chases the tiger. If the cat sees the bald eagle and the bald eagle sees the tiger then the tiger is big. If something is big then it sees the tiger.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is big.
("cat" "is" "big" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If something sees the cat then the cat is rough.
((("something" "sees" "cat" "+")) -> ("cat" "is" "rough" "+"))
If something is cold then it chases the cat.
((("something" "is" "cold" "+")) -> ("something" "chases" "cat" "+"))
If something sees the cat and the cat likes the tiger then the tiger likes the cat.
((("something" "sees" "cat" "+") ("cat" "likes" "tiger" "+")) -> ("tiger" "likes" "cat" "+"))
If something chases the cat and it is cold then it chases the tiger.
((("something" "chases" "cat" "+") ("something" "is" "cold" "+")) -> ("something" "chases" "tiger" "+"))
If the cat sees the bald eagle and the bald eagle sees the tiger then the tiger is big.
((("cat" "sees" "bald eagle" "+") ("bald eagle" "sees" "tiger" "+")) -> ("tiger" "is" "big" "+"))
If something is big then it sees the tiger.
((("something" "is" "big" "+")) -> ("something" "sees" "tiger" "+"))
The cat likes the tiger.
True
1
proof
[(triple9)]
("cat" "likes" "tiger" "+")
triple9
The cat does not like the tiger.
False
1
inv-proof
[(triple9)]
("cat" "likes" "tiger" "-")
triple9
The tiger likes the cat.
True
3
proof
[(((triple16 triple9) -> rule3))]
("tiger" "likes" "cat" "+")
((triple16 triple9) -> (rule3 % int1))
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int1
The tiger does not like the cat.
False
3
inv-proof
[(((triple16 triple9) -> rule3))]
("tiger" "likes" "cat" "-")
((triple16 triple9) -> (rule3 % int1))
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int1
The tiger does not see the tiger.
Unknown
inv-rconc
[@2: The tiger sees the tiger.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The cat chases the cat.
Unknown
rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "cat" "+")
The tiger does not chase the bald eagle.
Unknown
inv-random
[@0: The tiger chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bald eagle" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle likes the tiger.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat chases the tiger.[(triple6)] The cat is big.[(triple7)] The cat likes the bald eagle.[(triple8)] The cat likes the tiger.[(triple9)] The cat sees the bald eagle.[(triple10)] The cat sees the tiger.[(triple11 OR ((triple7) -> rule6))] The tiger chases the cat.[(triple12)] The tiger is green.[(triple13)] The tiger is rough.[(triple14)] The tiger sees the bald eagle.[(triple15)] The tiger sees the cat.[(triple16)] @1: The cat is rough.[(((triple16) -> rule1))] The tiger likes the cat.[(((triple16 triple9) -> rule3))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple4
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple5
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple6
The cat is big.
("cat" "is" "big" "+")
triple7
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple8
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple9
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple10
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple11
((triple7) -> (rule6 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple12
The tiger is green.
("tiger" "is" "green" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple15
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple16
The cat is rough.
("cat" "is" "rough" "+")
((triple16) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The tiger likes the cat.
("tiger" "likes" "cat" "+")
((triple16 triple9) -> (rule3 % int1))
The tiger likes the cat.
("tiger" "likes" "cat" "+")
int1