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