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