The bald eagle chases the lion. The bald eagle is big. The bald eagle is round. The bald eagle likes the cat. The bald eagle likes the lion. The cat is red. The cat is round. The cat likes the lion. The cat sees the bald eagle. The lion is big. The lion is cold. The lion sees the bald eagle. If the bald eagle likes the cat then the cat sees the lion. If someone sees the lion then the lion is round.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
If the bald eagle likes the cat then the cat sees the lion.
((("bald eagle" "likes" "cat" "+")) -> ("cat" "sees" "lion" "+"))
If someone sees the lion then the lion is round.
((("someone" "sees" "lion" "+")) -> ("lion" "is" "round" "+"))
The bald eagle likes the cat.
True
1
proof
[(triple4)]
("bald eagle" "likes" "cat" "+")
triple4
The bald eagle is not big.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "big" "-")
triple2
The cat sees the lion.
True
2
proof
[(((triple4) -> rule1))]
("cat" "sees" "lion" "+")
((triple4) -> (rule1 % int1))
The cat sees the lion.
("cat" "sees" "lion" "+")
int1
The cat does not see the lion.
False
2
inv-proof
[(((triple4) -> rule1))]
("cat" "sees" "lion" "-")
((triple4) -> (rule1 % int1))
The cat sees the lion.
("cat" "sees" "lion" "+")
int1
The lion is round.
True
3
proof
[(((((triple4) -> rule1)) -> rule2))]
("lion" "is" "round" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The cat sees the lion.
("cat" "sees" "lion" "+")
int2
The lion is not round.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule2))]
("lion" "is" "round" "-")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The cat sees the lion.
("cat" "sees" "lion" "+")
int2
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The lion likes the cat.
Unknown
random
[@0: The lion likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cat" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the cat.[(triple4)] The bald eagle likes the lion.[(triple5)] The cat is red.[(triple6)] The cat is round.[(triple7)] The cat likes the lion.[(triple8)] The cat sees the bald eagle.[(triple9)] The lion is big.[(triple10)] The lion is cold.[(triple11)] The lion sees the bald eagle.[(triple12)] @1: The cat sees the lion.[(((triple4) -> rule1))] @2: The lion is round.[(((((triple4) -> rule1)) -> rule2))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple4
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple5
The cat is red.
("cat" "is" "red" "+")
triple6
The cat is round.
("cat" "is" "round" "+")
triple7
The cat likes the lion.
("cat" "likes" "lion" "+")
triple8
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple9
The lion is big.
("lion" "is" "big" "+")
triple10
The lion is cold.
("lion" "is" "cold" "+")
triple11
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple12
The cat sees the lion.
("cat" "sees" "lion" "+")
((triple4) -> (rule1 % int1))
The cat sees the lion.
("cat" "sees" "lion" "+")
int1
The lion is round.
("lion" "is" "round" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The cat sees the lion.
("cat" "sees" "lion" "+")
int2