The bald eagle chases the tiger. The squirrel chases the tiger. The tiger visits the squirrel. If the bald eagle visits the squirrel and the squirrel chases the bald eagle then the squirrel is kind. If something chases the bald eagle and it is blue then it needs the tiger. All blue things are round. If something chases the squirrel and it visits the squirrel then the squirrel visits the tiger. If something chases the tiger then it is kind. If something is kind then it visits the bald eagle. If something visits the bald eagle then it visits the squirrel. If something visits the bald eagle and the bald eagle needs the tiger then the tiger chases the squirrel.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If the bald eagle visits the squirrel and the squirrel chases the bald eagle then the squirrel is kind.
((("bald eagle" "visits" "squirrel" "+") ("squirrel" "chases" "bald eagle" "+")) -> ("squirrel" "is" "kind" "+"))
If something chases the bald eagle and it is blue then it needs the tiger.
((("something" "chases" "bald eagle" "+") ("something" "is" "blue" "+")) -> ("something" "needs" "tiger" "+"))
All blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If something chases the squirrel and it visits the squirrel then the squirrel visits the tiger.
((("something" "chases" "squirrel" "+") ("something" "visits" "squirrel" "+")) -> ("squirrel" "visits" "tiger" "+"))
If something chases the tiger then it is kind.
((("something" "chases" "tiger" "+")) -> ("something" "is" "kind" "+"))
If something is kind then it visits the bald eagle.
((("something" "is" "kind" "+")) -> ("something" "visits" "bald eagle" "+"))
If something visits the bald eagle then it visits the squirrel.
((("something" "visits" "bald eagle" "+")) -> ("something" "visits" "squirrel" "+"))
If something visits the bald eagle and the bald eagle needs the tiger then the tiger chases the squirrel.
((("something" "visits" "bald eagle" "+") ("bald eagle" "needs" "tiger" "+")) -> ("tiger" "chases" "squirrel" "+"))
The tiger visits the squirrel.
True
1
proof
[(triple3)]
("tiger" "visits" "squirrel" "+")
triple3
The bald eagle does not chase the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "tiger" "-")
triple1
The squirrel is kind.
True
2
proof
[(((triple2) -> rule5))]
("squirrel" "is" "kind" "+")
((triple2) -> (rule5 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The bald eagle is not kind.
False
2
inv-proof
[(((triple1) -> rule5))]
("bald eagle" "is" "kind" "-")
((triple1) -> (rule5 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle visits the bald eagle.
True
3
proof
[(((((triple1) -> rule5)) -> rule6))]
("bald eagle" "visits" "bald eagle" "+")
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The squirrel does not visit the bald eagle.
False
3
inv-proof
[(((((triple2) -> rule5)) -> rule6))]
("squirrel" "visits" "bald eagle" "-")
((((triple2) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The bald eagle visits the squirrel.
True
4
proof
[(((((((triple1) -> rule5)) -> rule6)) -> rule7))]
("bald eagle" "visits" "squirrel" "+")
((((((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The squirrel does not visit the squirrel.
False
4
inv-proof
[(((((((triple2) -> rule5)) -> rule6)) -> rule7))]
("squirrel" "visits" "squirrel" "-")
((((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel does not need the tiger.
Unknown
inv-rconc
[@1: The squirrel needs the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "needs" "tiger" "-")
The squirrel is round.
Unknown
rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "round" "+")
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle needs the tiger.
Unknown
rconc
[@1: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "tiger" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The squirrel needs the bald eagle.
Unknown
random
[@0: The squirrel needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bald eagle" "+")
@0: The bald eagle chases the tiger.[(triple1)] The squirrel chases the tiger.[(triple2)] The tiger visits the squirrel.[(triple3)] @1: The bald eagle is kind.[(((triple1) -> rule5))] The squirrel is kind.[(((triple2) -> rule5))] @2: The bald eagle visits the bald eagle.[(((((triple1) -> rule5)) -> rule6))] The squirrel visits the bald eagle.[(((((triple2) -> rule5)) -> rule6))] @3: The bald eagle visits the squirrel.[(((((((triple1) -> rule5)) -> rule6)) -> rule7))] The squirrel visits the squirrel.[(((((((triple2) -> rule5)) -> rule6)) -> rule7))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple2
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple1) -> (rule5 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple2) -> (rule5 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((((triple2) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
((((((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((((triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3