The bear is blue. The bear is cold. The bear is red. If something is young then it is blue. All round, red things are blue. Cold things are young.
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is red.
("bear" "is" "red" "+")
If something is young then it is blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
All round, red things are blue.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
The bear is red.
True
1
proof
[(triple3)]
("bear" "is" "red" "+")
triple3
The bear is not cold.
False
1
inv-proof
[(triple2)]
("bear" "is" "cold" "-")
triple2
The bear is young.
True
2
proof
[(((triple2) -> rule3))]
("bear" "is" "young" "+")
((triple2) -> (rule3 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is not young.
False
2
inv-proof
[(((triple2) -> rule3))]
("bear" "is" "young" "-")
((triple2) -> (rule3 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear is blue.[(triple1 OR ((((triple2) -> rule3)) -> rule1))] The bear is cold.[(triple2)] The bear is red.[(triple3)] @1: The bear is young.[(((triple2) -> rule3))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
((triple2) -> (rule3 % int1))
The bear is young.
("bear" "is" "young" "+")
int1