The bald eagle sees the cat. The cat is nice. The squirrel sees the tiger. The tiger is red. All red people are cold. If someone is young and they like the bald eagle then the bald eagle chases the squirrel. If someone is cold then they see the tiger.
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat is nice.
("cat" "is" "nice" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger is red.
("tiger" "is" "red" "+")
All red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and they like the bald eagle then the bald eagle chases the squirrel.
((("someone" "is" "young" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "chases" "squirrel" "+"))
If someone is cold then they see the tiger.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "tiger" "+"))
The tiger is red.
True
1
proof
[(triple4)]
("tiger" "is" "red" "+")
triple4
The tiger is not red.
False
1
inv-proof
[(triple4)]
("tiger" "is" "red" "-")
triple4
The tiger is cold.
True
2
proof
[(((triple4) -> rule1))]
("tiger" "is" "cold" "+")
((triple4) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is not cold.
False
2
inv-proof
[(((triple4) -> rule1))]
("tiger" "is" "cold" "-")
((triple4) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The bald eagle does not chase the squirrel.
Unknown
inv-rconc
[@1: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "squirrel" "-")
The cat sees the tiger.
Unknown
rconc
[@2: The cat sees the tiger.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("cat" "sees" "tiger" "+")
The tiger is not big.
Unknown
inv-random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle sees the cat.[(triple1)] The cat is nice.[(triple2)] The squirrel sees the tiger.[(triple3)] The tiger is red.[(triple4)] @1: The tiger is cold.[(((triple4) -> rule1))] @2: The tiger sees the tiger.[(((((triple4) -> rule1)) -> rule3))]
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple2
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple3
The tiger is red.
("tiger" "is" "red" "+")
triple4
The tiger is cold.
("tiger" "is" "cold" "+")
((triple4) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2