The bald eagle chases the rabbit. The bald eagle chases the tiger. The bald eagle is big. The bald eagle sees the dog. The dog does not visit the bald eagle. The dog does not visit the tiger. The rabbit sees the bald eagle. The tiger chases the bald eagle. The tiger does not see the bald eagle. The tiger visits the rabbit. If something is big and it chases the tiger then the tiger is young. If something is young then it chases the tiger. If something is nice and blue then it sees the rabbit.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
The dog does not visit the tiger.
("dog" "visits" "tiger" "-")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If something is big and it chases the tiger then the tiger is young.
((("something" "is" "big" "+") ("something" "chases" "tiger" "+")) -> ("tiger" "is" "young" "+"))
If something is young then it chases the tiger.
((("something" "is" "young" "+")) -> ("something" "chases" "tiger" "+"))
If something is nice and blue then it sees the rabbit.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "sees" "rabbit" "+"))
The tiger visits the rabbit.
True
1
proof
[(triple10)]
("tiger" "visits" "rabbit" "+")
triple10
The bald eagle does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "rabbit" "-")
triple1
The tiger is young.
True
3
proof
[(((triple3 triple2) -> rule1))]
("tiger" "is" "young" "+")
((triple3 triple2) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is not young.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("tiger" "is" "young" "-")
((triple3 triple2) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger chases the tiger.
True
4
proof
[(((((triple3 triple2) -> rule1)) -> rule2))]
("tiger" "chases" "tiger" "+")
((((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger does not chase the tiger.
False
4
inv-proof
[(((((triple3 triple2) -> rule1)) -> rule2))]
("tiger" "chases" "tiger" "-")
((((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger does not see the rabbit.
Unknown
inv-rconc
[@1: The tiger sees the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "sees" "rabbit" "-")
The dog chases the tiger.
Unknown
rconc
[@1: The dog chases the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "chases" "tiger" "+")
The bald eagle does not see the rabbit.
Unknown
inv-rconc
[@1: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "sees" "rabbit" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle sees the dog.[(triple4)] The dog does not visit the bald eagle.[(triple5)] The dog does not visit the tiger.[(triple6)] The rabbit sees the bald eagle.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger does not see the bald eagle.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The tiger is young.[(((triple3 triple2) -> rule1))] @2: The tiger chases the tiger.[(((((triple3 triple2) -> rule1)) -> rule2))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
triple5
The dog does not visit the tiger.
("dog" "visits" "tiger" "-")
triple6
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple7
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple8
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
triple9
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple10
The tiger is young.
("tiger" "is" "young" "+")
((triple3 triple2) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2