The bald eagle is big. The bald eagle is not cold. The bald eagle is not green. The bald eagle is nice. The bald eagle is round. The bald eagle needs the cat. The bald eagle sees the cat. The bald eagle visits the cat. The cat is not big. The cat is cold. The cat is green. The cat is nice. The cat is round. The cat needs the bald eagle. The cat sees the bald eagle. The cat visits the bald eagle. If someone sees the cat then they visit the cat. If someone is cold then they need the cat.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat is not big.
("cat" "is" "big" "-")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
If someone sees the cat then they visit the cat.
((("someone" "sees" "cat" "+")) -> ("someone" "visits" "cat" "+"))
If someone is cold then they need the cat.
((("someone" "is" "cold" "+")) -> ("someone" "needs" "cat" "+"))
The bald eagle visits the cat.
True
1
proof
[(triple8 OR ((triple7) -> rule1))]
("bald eagle" "visits" "cat" "+")
triple8
((triple7) -> (rule1 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The cat is not nice.
False
1
inv-proof
[(triple12)]
("cat" "is" "nice" "-")
triple12
The cat needs the cat.
True
2
proof
[(((triple10) -> rule2))]
("cat" "needs" "cat" "+")
((triple10) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat does not need the cat.
False
2
inv-proof
[(((triple10) -> rule2))]
("cat" "needs" "cat" "-")
((triple10) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat does not visit the cat.
Unknown
inv-rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "visits" "cat" "-")
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 need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is nice.[(triple4)] The bald eagle is not cold.[(triple2)] The bald eagle is not green.[(triple3)] The bald eagle is round.[(triple5)] The bald eagle needs the cat.[(triple6)] The bald eagle sees the cat.[(triple7)] The bald eagle visits the cat.[(triple8 OR ((triple7) -> rule1))] The cat is cold.[(triple10)] The cat is green.[(triple11)] The cat is nice.[(triple12)] The cat is not big.[(triple9)] The cat is round.[(triple13)] The cat needs the bald eagle.[(triple14)] The cat sees the bald eagle.[(triple15)] The cat visits the bald eagle.[(triple16)] @1: The cat needs the cat.[(((triple10) -> rule2))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple2
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple5
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple6
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple7
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple8
((triple7) -> (rule1 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
triple10
The cat is green.
("cat" "is" "green" "+")
triple11
The cat is nice.
("cat" "is" "nice" "+")
triple12
The cat is not big.
("cat" "is" "big" "-")
triple9
The cat is round.
("cat" "is" "round" "+")
triple13
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple14
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple15
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple16
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple10) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1