The bald eagle is nice. The bald eagle is young. The bald eagle likes the rabbit. The bald eagle needs the mouse. The dog chases the bald eagle. The dog is cold. The dog needs the mouse. The mouse is red. The mouse likes the rabbit. The rabbit likes the dog. If something likes the rabbit then the rabbit is young. Young things are red.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
If something likes the rabbit then the rabbit is young.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "is" "young" "+"))
Young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
The bald eagle needs the mouse.
True
1
proof
[(triple4)]
("bald eagle" "needs" "mouse" "+")
triple4
The mouse is not red.
False
1
inv-proof
[(triple8)]
("mouse" "is" "red" "-")
triple8
The bald eagle is red.
True
2
proof
[(((triple2) -> rule2))]
("bald eagle" "is" "red" "+")
((triple2) -> (rule2 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The rabbit is not young.
False
2
inv-proof
[(((triple3) -> rule1) OR ((triple9) -> rule1))]
("rabbit" "is" "young" "-")
((triple3) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
((triple9) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is red.
True
3
proof
[(((((triple3) -> rule1)) -> rule2) OR ((((triple9) -> rule1)) -> rule2))]
("rabbit" "is" "red" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is not red.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule2) OR ((((triple9) -> rule1)) -> rule2))]
("rabbit" "is" "red" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "red" "-")
The dog chases the mouse.
Unknown
random
[@0: The dog chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "mouse" "+")
The mouse does not like the dog.
Unknown
inv-random
[@0: The mouse likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "dog" "-")
The bald eagle needs the dog.
Unknown
random
[@0: The bald eagle needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "dog" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The mouse chases the bald eagle.
Unknown
random
[@0: The mouse chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "bald eagle" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The bald eagle needs the mouse.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog is cold.[(triple6)] The dog needs the mouse.[(triple7)] The mouse is red.[(triple8)] The mouse likes the rabbit.[(triple9)] The rabbit likes the dog.[(triple10)] @1: The bald eagle is red.[(((triple2) -> rule2))] The rabbit is young.[(((triple3) -> rule1) OR ((triple9) -> rule1))] @2: The rabbit is red.[(((((triple3) -> rule1)) -> rule2) OR ((((triple9) -> rule1)) -> rule2))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple3
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple4
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple5
The dog is cold.
("dog" "is" "cold" "+")
triple6
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple7
The mouse is red.
("mouse" "is" "red" "+")
triple8
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple9
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple10
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple2) -> (rule2 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple3) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
((triple9) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2