The bald eagle eats the cat. The bald eagle is nice. The bald eagle sees the cat. The bald eagle visits the bear. The bear eats the bald eagle. The bear is cold. The cat eats the bald eagle. The cat is rough. The cat is round. The cat sees the bald eagle. The cat visits the bald eagle. The cat visits the bear. If something is rough then it sees the cat. If something is round and it does not see the bald eagle then it eats the cat. If something sees the bear and it sees the cat then it visits the cat.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is cold.
("bear" "is" "cold" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
If something is rough then it sees the cat.
((("something" "is" "rough" "+")) -> ("something" "sees" "cat" "+"))
If something is round and it does not see the bald eagle then it eats the cat.
((("something" "is" "round" "+") ("something" "sees" "bald eagle" "~")) -> ("something" "eats" "cat" "+"))
If something sees the bear and it sees the cat then it visits the cat.
((("something" "sees" "bear" "+") ("something" "sees" "cat" "+")) -> ("something" "visits" "cat" "+"))
The cat eats the bald eagle.
True
1
proof
[(triple7)]
("cat" "eats" "bald eagle" "+")
triple7
The cat is not rough.
False
1
inv-proof
[(triple8)]
("cat" "is" "rough" "-")
triple8
The cat sees the cat.
True
2
proof
[(((triple8) -> rule1))]
("cat" "sees" "cat" "+")
((triple8) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat does not see the cat.
False
2
inv-proof
[(((triple8) -> rule1))]
("cat" "sees" "cat" "-")
((triple8) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The bald eagle does not visit the cat.
Unknown
inv-rconc
[@1: The bald eagle visits the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "visits" "cat" "-")
The bear visits the cat.
Unknown
rconc
[@1: The bear visits the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "visits" "cat" "+")
The bear does not see the bald eagle.
Unknown
inv-random
[@0: The bear sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bald eagle" "-")
The bear visits the bald eagle.
Unknown
random
[@0: The bear visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bald eagle" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle sees the cat.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear is cold.[(triple6)] The cat eats the bald eagle.[(triple7)] The cat is rough.[(triple8)] The cat is round.[(triple9)] The cat sees the bald eagle.[(triple10)] The cat visits the bald eagle.[(triple11)] The cat visits the bear.[(triple12)] @1: The cat sees the cat.[(((triple8) -> rule1))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple5
The bear is cold.
("bear" "is" "cold" "+")
triple6
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple7
The cat is rough.
("cat" "is" "rough" "+")
triple8
The cat is round.
("cat" "is" "round" "+")
triple9
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple10
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple11
The cat visits the bear.
("cat" "visits" "bear" "+")
triple12
The cat sees the cat.
("cat" "sees" "cat" "+")
((triple8) -> (rule1 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1