The bald eagle is kind. The dog does not chase the tiger. The dog does not eat the bald eagle. The dog visits the bald eagle. The dog does not visit the mouse. The dog visits the tiger. The mouse chases the dog. The mouse is cold. The mouse is kind. The mouse is not young. The mouse does not visit the bald eagle. The mouse visits the tiger. The tiger eats the bald eagle. The tiger is young. The tiger visits the bald eagle. If someone is cold then they chase the mouse.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The dog does not chase the tiger.
("dog" "chases" "tiger" "-")
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog does not visit the mouse.
("dog" "visits" "mouse" "-")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is not young.
("mouse" "is" "young" "-")
The mouse does not visit the bald eagle.
("mouse" "visits" "bald eagle" "-")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone is cold then they chase the mouse.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "mouse" "+"))
The mouse does not visit the bald eagle.
True
1
proof
[(triple11)]
("mouse" "visits" "bald eagle" "-")
triple11
The dog does not visit the bald eagle.
False
1
inv-proof
[(triple4)]
("dog" "visits" "bald eagle" "-")
triple4
The mouse chases the mouse.
True
2
proof
[(((triple8) -> rule1))]
("mouse" "chases" "mouse" "+")
((triple8) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse does not chase the mouse.
False
2
inv-proof
[(((triple8) -> rule1))]
("mouse" "chases" "mouse" "-")
((triple8) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The tiger does not chase the mouse.
Unknown
inv-rconc
[@1: The tiger chases the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "chases" "mouse" "-")
The bald eagle chases the mouse.
Unknown
rconc
[@1: The bald eagle chases the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "mouse" "+")
The dog is not cold.
Unknown
inv-random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle is kind.[(triple1)] The dog does not chase the tiger.[(triple2)] The dog does not eat the bald eagle.[(triple3)] The dog does not visit the mouse.[(triple5)] The dog visits the bald eagle.[(triple4)] The dog visits the tiger.[(triple6)] The mouse chases the dog.[(triple7)] The mouse does not visit the bald eagle.[(triple11)] The mouse is cold.[(triple8)] The mouse is kind.[(triple9)] The mouse is not young.[(triple10)] The mouse visits the tiger.[(triple12)] The tiger eats the bald eagle.[(triple13)] The tiger is young.[(triple14)] The tiger visits the bald eagle.[(triple15)] @1: The mouse chases the mouse.[(((triple8) -> rule1))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The dog does not chase the tiger.
("dog" "chases" "tiger" "-")
triple2
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
triple3
The dog does not visit the mouse.
("dog" "visits" "mouse" "-")
triple5
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple4
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple6
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple7
The mouse does not visit the bald eagle.
("mouse" "visits" "bald eagle" "-")
triple11
The mouse is cold.
("mouse" "is" "cold" "+")
triple8
The mouse is kind.
("mouse" "is" "kind" "+")
triple9
The mouse is not young.
("mouse" "is" "young" "-")
triple10
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple12
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple13
The tiger is young.
("tiger" "is" "young" "+")
triple14
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple15
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple8) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1