The bald eagle is red. The cat is kind. The cat is young. The cat likes the bald eagle. The cat sees the bald eagle. The cat sees the cow. The cat visits the bald eagle. The cat visits the cow. The cow likes the bald eagle. The cow sees the bald eagle. The cow visits the bald eagle. The cow visits the cat. All kind things are young. If something is kind then it sees the cat. If the cat visits the bald eagle then the bald eagle is kind. If something sees the cow and it likes the cat then it visits the bald eagle. If something is young and it visits the cat then it sees the cat. If something visits the bald eagle and it is big then the bald eagle is red.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
All kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is kind then it sees the cat.
((("something" "is" "kind" "+")) -> ("something" "sees" "cat" "+"))
If the cat visits the bald eagle then the bald eagle is kind.
((("cat" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If something sees the cow and it likes the cat then it visits the bald eagle.
((("something" "sees" "cow" "+") ("something" "likes" "cat" "+")) -> ("something" "visits" "bald eagle" "+"))
If something is young and it visits the cat then it sees the cat.
((("something" "is" "young" "+") ("something" "visits" "cat" "+")) -> ("something" "sees" "cat" "+"))
If something visits the bald eagle and it is big then the bald eagle is red.
((("something" "visits" "bald eagle" "+") ("something" "is" "big" "+")) -> ("bald eagle" "is" "red" "+"))
The cat likes the bald eagle.
True
1
proof
[(triple4)]
("cat" "likes" "bald eagle" "+")
triple4
The cat does not visit the bald eagle.
False
1
inv-proof
[(triple7)]
("cat" "visits" "bald eagle" "-")
triple7
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The bald eagle is red.[(triple1)] The cat is kind.[(triple2)] The cat is young.[(triple3 OR ((triple2) -> rule1))] The cat likes the bald eagle.[(triple4)] The cat sees the bald eagle.[(triple5)] The cat sees the cow.[(triple6)] The cat visits the bald eagle.[(triple7)] The cat visits the cow.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow sees the bald eagle.[(triple10)] The cow visits the bald eagle.[(triple11)] The cow visits the cat.[(triple12)] @1: The bald eagle is kind.[(((triple7) -> rule3))] The cat sees the cat.[(((triple2) -> rule2))] @2: The bald eagle is young.[(((((triple7) -> rule3)) -> rule1))] The bald eagle sees the cat.[(((((triple7) -> rule3)) -> rule2))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
((triple2) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple4
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple5
The cat sees the cow.
("cat" "sees" "cow" "+")
triple6
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple7
The cat visits the cow.
("cat" "visits" "cow" "+")
triple8
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple9
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple10
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple11
The cow visits the cat.
("cow" "visits" "cat" "+")
triple12
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple7) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
((triple2) -> (rule2 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
((((triple7) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2