The bald eagle needs the mouse. The cat eats the mouse. The cat eats the rabbit. The cat is blue. The cat is nice. The cat needs the mouse. The cat visits the bald eagle. The cat visits the rabbit. The mouse is cold. The mouse needs the bald eagle. The mouse needs the cat. The rabbit eats the bald eagle. The rabbit is green. The rabbit needs the cat. The rabbit visits the cat. The rabbit visits the mouse. If someone is nice then they need the cat. If someone needs the rabbit and they visit the cat then the rabbit eats the mouse. If the mouse is cold and the mouse visits the cat then the mouse is young. If someone needs the cat then the cat eats the mouse. If someone visits the cat then the cat needs the mouse. If someone visits the mouse then they need the cat. If someone visits the rabbit then the rabbit needs the mouse. If someone is green and they need the bald eagle then the bald eagle eats the cat.
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If someone is nice then they need the cat.
((("someone" "is" "nice" "+")) -> ("someone" "needs" "cat" "+"))
If someone needs the rabbit and they visit the cat then the rabbit eats the mouse.
((("someone" "needs" "rabbit" "+") ("someone" "visits" "cat" "+")) -> ("rabbit" "eats" "mouse" "+"))
If the mouse is cold and the mouse visits the cat then the mouse is young.
((("mouse" "is" "cold" "+") ("mouse" "visits" "cat" "+")) -> ("mouse" "is" "young" "+"))
If someone needs the cat then the cat eats the mouse.
((("someone" "needs" "cat" "+")) -> ("cat" "eats" "mouse" "+"))
If someone visits the cat then the cat needs the mouse.
((("someone" "visits" "cat" "+")) -> ("cat" "needs" "mouse" "+"))
If someone visits the mouse then they need the cat.
((("someone" "visits" "mouse" "+")) -> ("someone" "needs" "cat" "+"))
If someone visits the rabbit then the rabbit needs the mouse.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "needs" "mouse" "+"))
If someone is green and they need the bald eagle then the bald eagle eats the cat.
((("someone" "is" "green" "+") ("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "+"))
The rabbit is green.
True
1
proof
[(triple13)]
("rabbit" "is" "green" "+")
triple13
The cat is not nice.
False
1
inv-proof
[(triple5)]
("cat" "is" "nice" "-")
triple5
The cat needs the cat.
True
2
proof
[(((triple5) -> rule1))]
("cat" "needs" "cat" "+")
((triple5) -> (rule1 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat does not need the cat.
False
2
inv-proof
[(((triple5) -> rule1))]
("cat" "needs" "cat" "-")
((triple5) -> (rule1 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The mouse is not young.
Unknown
inv-rconc
[@1: The mouse is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "young" "-")
The bald eagle eats the cat.
Unknown
rconc
[@1: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "eats" "cat" "+")
The cat is not young.
Unknown
inv-random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "-")
The mouse eats the bald eagle.
Unknown
random
[@0: The mouse eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bald eagle" "+")
@0: The bald eagle needs the mouse.[(triple1)] The cat eats the mouse.[(triple2 OR ((triple11) -> rule4) OR ((triple14) -> rule4) OR ((((triple16) -> rule6)) -> rule4) OR ((((triple5) -> rule1)) -> rule4))] The cat eats the rabbit.[(triple3)] The cat is blue.[(triple4)] The cat is nice.[(triple5)] The cat needs the mouse.[(triple6 OR ((triple15) -> rule5))] The cat visits the bald eagle.[(triple7)] The cat visits the rabbit.[(triple8)] The mouse is cold.[(triple9)] The mouse needs the bald eagle.[(triple10)] The mouse needs the cat.[(triple11)] The rabbit eats the bald eagle.[(triple12)] The rabbit is green.[(triple13)] The rabbit needs the cat.[(triple14 OR ((triple16) -> rule6))] The rabbit visits the cat.[(triple15)] The rabbit visits the mouse.[(triple16)] @1: The cat needs the cat.[(((triple5) -> rule1))] The rabbit needs the mouse.[(((triple8) -> rule7))]
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple1
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple2
((triple11) -> (rule4 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
((triple14) -> (rule4 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
((((triple16) -> (rule6 % int2))) -> (rule4 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int2
((((triple5) -> (rule1 % int2))) -> (rule4 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple3
The cat is blue.
("cat" "is" "blue" "+")
triple4
The cat is nice.
("cat" "is" "nice" "+")
triple5
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple6
((triple15) -> (rule5 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple7
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
triple9
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple10
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple11
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple12
The rabbit is green.
("rabbit" "is" "green" "+")
triple13
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple14
((triple16) -> (rule6 % int1))
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple15
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple16
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple5) -> (rule1 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
((triple8) -> (rule7 % int1))
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int1