The bear is round. All round things are cold. All young things are cold. If something is green then it is round. All green things are not round. If something is green then it is round. If something is cold and round then it is young.
The bear is round.
("bear" "is" "round" "+")
All round things are cold.
((("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
All young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
All green things are not round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "-"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is cold and round then it is young.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
The bear is round.
True
1
proof
[(triple1)]
("bear" "is" "round" "+")
triple1
The bear is not round.
False
1
inv-proof
[(triple1)]
("bear" "is" "round" "-")
triple1
The bear is cold.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "cold" "+")
((triple1) -> (rule1 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is not cold.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "cold" "-")
((triple1) -> (rule1 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is young.
True
4
proof
[(((((triple1) -> rule1) triple1) -> rule6))]
("bear" "is" "young" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is not young.
False
4
inv-proof
[(((((triple1) -> rule1) triple1) -> rule6))]
("bear" "is" "young" "-")
((((triple1) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear is round.[(triple1)] @1: The bear is cold.[(((triple1) -> rule1))] @2: The bear is young.[(((((triple1) -> rule1) triple1) -> rule6))]
The bear is round.
("bear" "is" "round" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
((triple1) -> (rule1 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is young.
("bear" "is" "young" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2