The bald eagle is nice. The bald eagle is young. The bald eagle needs the cat. The cat needs the tiger. The cat visits the tiger. The mouse is red. The mouse is young. The mouse needs the bald eagle. The mouse needs the cat. The mouse sees the cat. The mouse visits the bald eagle. The tiger sees the bald eagle. If someone is red then they are big.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone is red then they are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
The bald eagle is young.
True
1
proof
[(triple2)]
("bald eagle" "is" "young" "+")
triple2
The mouse does not visit the bald eagle.
False
1
inv-proof
[(triple11)]
("mouse" "visits" "bald eagle" "-")
triple11
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "big" "-")
The cat visits the bald eagle.
Unknown
random
[@0: The cat visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bald eagle" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the cat.[(triple3)] The cat needs the tiger.[(triple4)] The cat visits the tiger.[(triple5)] The mouse is red.[(triple6)] The mouse is young.[(triple7)] The mouse needs the bald eagle.[(triple8)] The mouse needs the cat.[(triple9)] The mouse sees the cat.[(triple10)] The mouse visits the bald eagle.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The mouse is big.[(((triple6) -> rule1))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple3
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple4
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple5
The mouse is red.
("mouse" "is" "red" "+")
triple6
The mouse is young.
("mouse" "is" "young" "+")
triple7
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple8
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple9
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple10
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple11
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple12
The mouse is big.
("mouse" "is" "big" "+")
((triple6) -> (rule1 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1