The bald eagle is rough. The cat does not eat the bald eagle. The cat is cold. The cat is red. The cat likes the mouse. The mouse chases the rabbit. The mouse eats the cat. The mouse does not like the rabbit. The rabbit is cold. The rabbit is kind. If something likes the rabbit and it chases the cat then the rabbit chases the bald eagle. If something chases the rabbit then the rabbit chases the bald eagle. If something is big then it chases the bald eagle. If something likes the bald eagle and the bald eagle does not like the rabbit then the bald eagle does not chase the rabbit. All red things are big. If something chases the mouse and the mouse eats the bald eagle then the mouse eats the cat.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
The cat is cold.
("cat" "is" "cold" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
If something likes the rabbit and it chases the cat then the rabbit chases the bald eagle.
((("something" "likes" "rabbit" "+") ("something" "chases" "cat" "+")) -> ("rabbit" "chases" "bald eagle" "+"))
If something chases the rabbit then the rabbit chases the bald eagle.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "chases" "bald eagle" "+"))
If something is big then it chases the bald eagle.
((("something" "is" "big" "+")) -> ("something" "chases" "bald eagle" "+"))
If something likes the bald eagle and the bald eagle does not like the rabbit then the bald eagle does not chase the rabbit.
((("something" "likes" "bald eagle" "+") ("bald eagle" "likes" "rabbit" "~")) -> ("bald eagle" "chases" "rabbit" "-"))
All red things are big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If something chases the mouse and the mouse eats the bald eagle then the mouse eats the cat.
((("something" "chases" "mouse" "+") ("mouse" "eats" "bald eagle" "+")) -> ("mouse" "eats" "cat" "+"))
The cat likes the mouse.
True
1
proof
[(triple5)]
("cat" "likes" "mouse" "+")
triple5
The rabbit is not kind.
False
1
inv-proof
[(triple10)]
("rabbit" "is" "kind" "-")
triple10
The mouse is not big.
Unknown
inv-rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "big" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
@0: The bald eagle is rough.[(triple1)] The cat does not eat the bald eagle.[(triple2)] The cat is cold.[(triple3)] The cat is red.[(triple4)] The cat likes the mouse.[(triple5)] The mouse chases the rabbit.[(triple6)] The mouse does not like the rabbit.[(triple8)] The mouse eats the cat.[(triple7)] The rabbit is cold.[(triple9)] The rabbit is kind.[(triple10)] @1: The cat is big.[(((triple4) -> rule5))] The rabbit chases the bald eagle.[(((triple6) -> rule2))] @2: The cat chases the bald eagle.[(((((triple4) -> rule5)) -> rule3))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat is red.
("cat" "is" "red" "+")
triple4
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple5
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple6
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
triple8
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple7
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The cat is big.
("cat" "is" "big" "+")
((triple4) -> (rule5 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
((triple6) -> (rule2 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2