The bear is young. All young things are red. All young, red things are round. All red, round things are kind. If something is kind and cold then it is red. If something is young and kind then it is red. If the bear is kind then the bear is round. If something is cold and red then it is kind. Red, kind things are young.
The bear is young.
("bear" "is" "young" "+")
All young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
All young, red things are round.
((("something" "is" "young" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
All red, round things are kind.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If something is kind and cold then it is red.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something is young and kind then it is red.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If the bear is kind then the bear is round.
((("bear" "is" "kind" "+")) -> ("bear" "is" "round" "+"))
If something is cold and red then it is kind.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
Red, kind things are young.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
The bear is young.
True
1
proof
[(triple1)]
("bear" "is" "young" "+")
triple1
The bear is not young.
False
1
inv-proof
[(triple1)]
("bear" "is" "young" "-")
triple1
The bear is red.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "red" "+")
((triple1) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is not red.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "red" "-")
((triple1) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is round.
True
4
proof
[(((triple1 ((triple1) -> rule1)) -> rule2))]
("bear" "is" "round" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is not round.
False
4
inv-proof
[(((triple1 ((triple1) -> rule1)) -> rule2))]
("bear" "is" "round" "-")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
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 visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear is young.[(triple1)] @1: The bear is red.[(((triple1) -> rule1))] @2: The bear is round.[(((triple1 ((triple1) -> rule1)) -> rule2))] @3: The bear is kind.[(((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule2)) -> rule3))]
The bear is young.
("bear" "is" "young" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
((triple1) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
((((triple1) -> (rule1 % int3)) ((triple1 ((triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3