Charlie is young and green round guy, and that keeps him from being cold.  He has stayed kind. In the snow sits Dave, crying from being cold. Eric always goes out of his way to show that he is kind to people. Fred is blue and cold. If someone is blue and rough, they always see red in others. Round, rough people blue with sadness turn out to be green. Anyone that is a red, nice soul will be big, too. Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also. If a person is red and green, then they will present as big. People who have a big shape while they are young are found to be nice. A round person will also be red.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is blue and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and round and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and blue and kind then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is young and big then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Charlie is young.
True
1
proof
[(triple1)]
("Charlie" "is" "young" "+")
triple1
Charlie is not young.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "young" "-")
triple1
Charlie is red.
True
2
proof
[(((triple2) -> rule7))]
("Charlie" "is" "red" "+")
((triple2) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
2
inv-proof
[(((triple2) -> rule7))]
("Charlie" "is" "red" "-")
((triple2) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
True
4
proof
[(((((triple2) -> rule7) triple4) -> rule5))]
("Charlie" "is" "big" "+")
((((triple2) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not big.
False
4
inv-proof
[(((((triple2) -> rule7) triple4) -> rule5))]
("Charlie" "is" "big" "-")
((((triple2) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
True
6
proof
[(((triple1 ((((triple2) -> rule7) triple4) -> rule5)) -> rule6))]
("Charlie" "is" "nice" "+")
((triple1 ((((triple2) -> (rule7 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not nice.
False
6
inv-proof
[(((triple1 ((((triple2) -> rule7) triple4) -> rule5)) -> rule6))]
("Charlie" "is" "nice" "-")
((triple1 ((((triple2) -> (rule7 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "nice" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "green" "-")
Eric is big.
Unknown
rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Eric" "is" "big" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Charlie is cold.[(triple5)] Charlie is green.[(triple4)] Charlie is kind.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is cold.[(triple6)] Eric is kind.[(triple7)] Fred is blue.[(triple9)] Fred is cold.[(triple8)] @1: Charlie is red.[(((triple2) -> rule7))] @2: Charlie is big.[(((((triple2) -> rule7) triple4) -> rule5))] @3: Charlie is nice.[(((triple1 ((((triple2) -> rule7) triple4) -> rule5)) -> rule6))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
((triple2) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((((triple2) -> (rule7 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1 ((((triple2) -> (rule7 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young and green round guy, and that keeps him from being cold; He has stayed kind.
In the snow sits Dave, crying from being cold.
Eric always goes out of his way to show that he is kind to people.
Fred is blue and cold.
If someone is blue and rough, they always see red in others.
Round, rough people blue with sadness turn out to be green.
Anyone that is a red, nice soul will be big, too.
Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also.
If a person is red and green, then they will present as big.
People who have a big shape while they are young are found to be nice.
A round person will also be red.