The bald eagle eats the cat. The bald eagle visits the squirrel. The cat eats the bald eagle. The cat eats the squirrel. The cat sees the dog. The dog eats the squirrel. The dog sees the cat. The squirrel is green. The squirrel visits the bald eagle. The squirrel visits the cat. If something is green and it visits the cat then it visits the squirrel. If something visits the squirrel then it is rough.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If something is green and it visits the cat then it visits the squirrel.
((("something" "is" "green" "+") ("something" "visits" "cat" "+")) -> ("something" "visits" "squirrel" "+"))
If something visits the squirrel then it is rough.
((("something" "visits" "squirrel" "+")) -> ("something" "is" "rough" "+"))
The squirrel visits the cat.
True
1
proof
[(triple10)]
("squirrel" "visits" "cat" "+")
triple10
The cat does not eat the squirrel.
False
1
inv-proof
[(triple4)]
("cat" "eats" "squirrel" "-")
triple4
The squirrel visits the squirrel.
True
3
proof
[(((triple8 triple10) -> rule1))]
("squirrel" "visits" "squirrel" "+")
((triple8 triple10) -> (rule1 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel does not visit the squirrel.
False
3
inv-proof
[(((triple8 triple10) -> rule1))]
("squirrel" "visits" "squirrel" "-")
((triple8 triple10) -> (rule1 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is rough.
True
4
proof
[(((((triple8 triple10) -> rule1)) -> rule2))]
("squirrel" "is" "rough" "+")
((((triple8 triple10) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel is not rough.
False
4
inv-proof
[(((((triple8 triple10) -> rule1)) -> rule2))]
("squirrel" "is" "rough" "-")
((((triple8 triple10) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The dog does not visit the squirrel.
Unknown
inv-rconc
[@1: The dog visits the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "visits" "squirrel" "-")
The dog is rough.
Unknown
rconc
[@2: The dog is rough.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("dog" "is" "rough" "+")
The cat does not visit the squirrel.
Unknown
inv-rconc
[@1: The cat visits the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "visits" "squirrel" "-")
The bald eagle visits the dog.
Unknown
random
[@0: The bald eagle visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "dog" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat eats the squirrel.[(triple4)] The cat sees the dog.[(triple5)] The dog eats the squirrel.[(triple6)] The dog sees the cat.[(triple7)] The squirrel is green.[(triple8)] The squirrel visits the bald eagle.[(triple9)] The squirrel visits the cat.[(triple10)] @1: The bald eagle is rough.[(((triple2) -> rule2))] The squirrel visits the squirrel.[(((triple8 triple10) -> rule1))] @2: The squirrel is rough.[(((((triple8 triple10) -> rule1)) -> rule2))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple4
The cat sees the dog.
("cat" "sees" "dog" "+")
triple5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple6
The dog sees the cat.
("dog" "sees" "cat" "+")
triple7
The squirrel is green.
("squirrel" "is" "green" "+")
triple8
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple9
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple10
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple2) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple8 triple10) -> (rule1 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((((triple8 triple10) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2