The bald eagle chases the mouse. The bald eagle eats the tiger. The bald eagle is rough. The bald eagle is round. The cat chases the mouse. The cat eats the bald eagle. The cat is nice. The cat does not need the bald eagle. The cat needs the mouse. The mouse chases the bald eagle. The mouse does not eat the cat. The mouse is round. The mouse needs the tiger. The tiger chases the mouse. The tiger does not need the bald eagle. Round, rough things are nice. If something is young then it does not need the tiger.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse does not eat the cat.
("mouse" "eats" "cat" "-")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
Round, rough things are nice.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If something is young then it does not need the tiger.
((("something" "is" "young" "+")) -> ("something" "needs" "tiger" "-"))
The mouse needs the tiger.
True
1
proof
[(triple13)]
("mouse" "needs" "tiger" "+")
triple13
The cat needs the bald eagle.
False
1
inv-proof
[(triple8)]
("cat" "needs" "bald eagle" "+")
triple8
The bald eagle is nice.
True
3
proof
[(((triple4 triple3) -> rule1))]
("bald eagle" "is" "nice" "+")
((triple4 triple3) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is not nice.
False
3
inv-proof
[(((triple4 triple3) -> rule1))]
("bald eagle" "is" "nice" "-")
((triple4 triple3) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The mouse is not nice.
Unknown
inv-rconc
[@1: The mouse is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "nice" "-")
The tiger is nice.
Unknown
rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "nice" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is round.[(triple4)] The cat chases the mouse.[(triple5)] The cat does not need the bald eagle.[(triple8)] The cat eats the bald eagle.[(triple6)] The cat is nice.[(triple7)] The cat needs the mouse.[(triple9)] The mouse chases the bald eagle.[(triple10)] The mouse does not eat the cat.[(triple11)] The mouse is round.[(triple12)] The mouse needs the tiger.[(triple13)] The tiger chases the mouse.[(triple14)] The tiger does not need the bald eagle.[(triple15)] @1: The bald eagle is nice.[(((triple4 triple3) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple5
The cat does not need the bald eagle.
("cat" "needs" "bald eagle" "-")
triple8
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple6
The cat is nice.
("cat" "is" "nice" "+")
triple7
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple9
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple10
The mouse does not eat the cat.
("mouse" "eats" "cat" "-")
triple11
The mouse is round.
("mouse" "is" "round" "+")
triple12
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple13
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple14
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
triple15
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple4 triple3) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1