The bald eagle likes the cat. The cat is kind. The squirrel is nice. If something is nice then it is kind. If something is kind and nice then it visits the squirrel. If the squirrel does not visit the cat then the squirrel is not green. If something visits the squirrel and it is not kind then it is big. If something is green and it does not visit the squirrel then it visits the bald eagle. If something visits the bald eagle and it is young then it likes the bald eagle.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat is kind.
("cat" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If something is nice then it is kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If something is kind and nice then it visits the squirrel.
((("something" "is" "kind" "+") ("something" "is" "nice" "+")) -> ("something" "visits" "squirrel" "+"))
If the squirrel does not visit the cat then the squirrel is not green.
((("squirrel" "visits" "cat" "~")) -> ("squirrel" "is" "green" "-"))
If something visits the squirrel and it is not kind then it is big.
((("something" "visits" "squirrel" "+") ("something" "is" "kind" "~")) -> ("something" "is" "big" "+"))
If something is green and it does not visit the squirrel then it visits the bald eagle.
((("something" "is" "green" "+") ("something" "visits" "squirrel" "~")) -> ("something" "visits" "bald eagle" "+"))
If something visits the bald eagle and it is young then it likes the bald eagle.
((("something" "visits" "bald eagle" "+") ("something" "is" "young" "+")) -> ("something" "likes" "bald eagle" "+"))
The cat is kind.
True
1
proof
[(triple2)]
("cat" "is" "kind" "+")
triple2
The squirrel is not nice.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "nice" "-")
triple3
The bald eagle does not visit the squirrel.
Unknown
inv-rconc
[@1: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "squirrel" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle likes the cat.[(triple1)] The cat is kind.[(triple2)] The squirrel is nice.[(triple3)] @1: The squirrel is kind.[(((triple3) -> rule1))] @2: The squirrel visits the squirrel.[(((((triple3) -> rule1) triple3) -> rule2))]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple3
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple3) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2