The bald eagle likes the dog. The bald eagle likes the squirrel. The dog is green. The squirrel is kind. The squirrel visits the dog. The tiger eats the bald eagle. The tiger eats the squirrel. If someone likes the dog then they visit the squirrel. If someone visits the tiger then the tiger eats the bald eagle. If someone visits the squirrel then they visit the tiger.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The dog is green.
("dog" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
If someone likes the dog then they visit the squirrel.
((("someone" "likes" "dog" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone visits the tiger then the tiger eats the bald eagle.
((("someone" "visits" "tiger" "+")) -> ("tiger" "eats" "bald eagle" "+"))
If someone visits the squirrel then they visit the tiger.
((("someone" "visits" "squirrel" "+")) -> ("someone" "visits" "tiger" "+"))
The dog is green.
True
1
proof
[(triple3)]
("dog" "is" "green" "+")
triple3
The dog is not green.
False
1
inv-proof
[(triple3)]
("dog" "is" "green" "-")
triple3
The bald eagle visits the squirrel.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "visits" "squirrel" "+")
((triple1) -> (rule1 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle does not visit the squirrel.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "visits" "squirrel" "-")
((triple1) -> (rule1 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle visits the tiger.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("bald eagle" "visits" "tiger" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
The bald eagle does not visit the tiger.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("bald eagle" "visits" "tiger" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
The dog does not visit the tiger.
Unknown
inv-rconc
[@2: The dog visits the tiger.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("dog" "visits" "tiger" "-")
The tiger visits the squirrel.
Unknown
rconc
[@1: The tiger visits the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "visits" "squirrel" "+")
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 kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle likes the dog.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The dog is green.[(triple3)] The squirrel is kind.[(triple4)] The squirrel visits the dog.[(triple5)] The tiger eats the bald eagle.[(triple6 OR ((((((triple1) -> rule1)) -> rule3)) -> rule2))] The tiger eats the squirrel.[(triple7)] @1: The bald eagle visits the squirrel.[(((triple1) -> rule1))] @2: The bald eagle visits the tiger.[(((((triple1) -> rule1)) -> rule3))]
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple4
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple5
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple6
((((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int2
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int3
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple7
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
((triple1) -> (rule1 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2