The bald eagle is round. The bear is green. The dog is kind. The mouse chases the bear. If someone is green then they chase the mouse.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bear is green.
("bear" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
If someone is green then they chase the mouse.
((("someone" "is" "green" "+")) -> ("someone" "chases" "mouse" "+"))
The mouse chases the bear.
True
1
proof
[(triple4)]
("mouse" "chases" "bear" "+")
triple4
The dog is not kind.
False
1
inv-proof
[(triple3)]
("dog" "is" "kind" "-")
triple3
The bear chases the mouse.
True
2
proof
[(((triple2) -> rule1))]
("bear" "chases" "mouse" "+")
((triple2) -> (rule1 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear does not chase the mouse.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "chases" "mouse" "-")
((triple2) -> (rule1 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The dog does not chase the mouse.
Unknown
inv-rconc
[@1: The dog chases the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "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 blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle is round.[(triple1)] The bear is green.[(triple2)] The dog is kind.[(triple3)] The mouse chases the bear.[(triple4)] @1: The bear chases the mouse.[(((triple2) -> rule1))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple4
The bear chases the mouse.
("bear" "chases" "mouse" "+")
((triple2) -> (rule1 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1