The bald eagle chases the rabbit. The bald eagle is nice. The bald eagle is red. The bald eagle is young. The bald eagle likes the cat. The bald eagle likes the cow. The bald eagle visits the cow. The bald eagle visits the rabbit. The cat chases the cow. The cat chases the rabbit. The cow likes the rabbit. The rabbit chases the bald eagle. The rabbit is red. The rabbit likes the cat. The rabbit visits the cat. If something is young then it visits the rabbit. If something is young and it chases the rabbit then the rabbit is young.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If something is young then it visits the rabbit.
((("something" "is" "young" "+")) -> ("something" "visits" "rabbit" "+"))
If something is young and it chases the rabbit then the rabbit is young.
((("something" "is" "young" "+") ("something" "chases" "rabbit" "+")) -> ("rabbit" "is" "young" "+"))
The bald eagle is nice.
True
1
proof
[(triple2)]
("bald eagle" "is" "nice" "+")
triple2
The rabbit is not red.
False
1
inv-proof
[(triple13)]
("rabbit" "is" "red" "-")
triple13
The rabbit is young.
True
3
proof
[(((triple4 triple1) -> rule2))]
("rabbit" "is" "young" "+")
((triple4 triple1) -> (rule2 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is not young.
False
3
inv-proof
[(((triple4 triple1) -> rule2))]
("rabbit" "is" "young" "-")
((triple4 triple1) -> (rule2 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
True
4
proof
[(((((triple4 triple1) -> rule2)) -> rule1))]
("rabbit" "visits" "rabbit" "+")
((((triple4 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit does not visit the rabbit.
False
4
inv-proof
[(((((triple4 triple1) -> rule2)) -> rule1))]
("rabbit" "visits" "rabbit" "-")
((((triple4 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The cow does not visit the rabbit.
Unknown
inv-rconc
[@1: The cow visits the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "visits" "rabbit" "-")
The cat visits the rabbit.
Unknown
rconc
[@1: The cat visits the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "visits" "rabbit" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the cat.[(triple5)] The bald eagle likes the cow.[(triple6)] The bald eagle visits the cow.[(triple7)] The bald eagle visits the rabbit.[(triple8 OR ((triple4) -> rule1))] The cat chases the cow.[(triple9)] The cat chases the rabbit.[(triple10)] The cow likes the rabbit.[(triple11)] The rabbit chases the bald eagle.[(triple12)] The rabbit is red.[(triple13)] The rabbit likes the cat.[(triple14)] The rabbit visits the cat.[(triple15)] @1: The rabbit is young.[(((triple4 triple1) -> rule2))] @2: The rabbit visits the rabbit.[(((((triple4 triple1) -> rule2)) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple5
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple6
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple7
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple8
((triple4) -> (rule1 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
triple9
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple10
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple11
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
triple13
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple14
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple15
The rabbit is young.
("rabbit" "is" "young" "+")
((triple4 triple1) -> (rule2 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((((triple4 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2