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