The bald eagle chases the cat. The bald eagle chases the tiger. The bald eagle eats the cat. The bald eagle visits the cat. The bald eagle visits the tiger. The cat is nice. The cat is round. The tiger chases the bald eagle. The tiger chases the cat. The tiger eats the cat. The tiger is kind. The tiger visits the bald eagle. If something is round then it visits the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If something is round then it visits the bald eagle.
((("something" "is" "round" "+")) -> ("something" "visits" "bald eagle" "+"))
The tiger eats the cat.
True
1
proof
[(triple10)]
("tiger" "eats" "cat" "+")
triple10
The tiger does not eat the cat.
False
1
inv-proof
[(triple10)]
("tiger" "eats" "cat" "-")
triple10
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 = (rule1 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle eats the cat.[(triple3)] The bald eagle visits the cat.[(triple4)] The bald eagle visits the tiger.[(triple5)] The cat is nice.[(triple6)] The cat is round.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger chases the cat.[(triple9)] The tiger eats the cat.[(triple10)] The tiger is kind.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The cat visits the bald eagle.[(((triple7) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple4
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple6
The cat is round.
("cat" "is" "round" "+")
triple7
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple8
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple9
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple12
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
((triple7) -> (rule1 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1