Charlie is nice and kind, but a little rough. Eric's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Gary is a nice, kind young man.  Gary keeps a sweater with him because he is always cold. Upon meeting Harry, you'll notice he's green and kind. When anyone can be described as nice, young and big, they can also be described as red. Whenever you are around kind and green people, you will notice they are very red. Anyone that is a red, nice soul will be big, too. Green and blue, when found in one person, signify someone who is cold. If red and slightly green people are asked, they will tell you they feel blue. A green colored person will be young and also kind. Generally, round and kind people are big.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is nice and big and young then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is green and blue then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and kind then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Eric is green.
True
1
proof
[(triple5)]
("Eric" "is" "green" "+")
triple5
Charlie is not rough.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "rough" "-")
triple1
Harry is red.
True
3
proof
[(((triple11 triple12) -> rule2))]
("Harry" "is" "red" "+")
((triple11 triple12) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
3
inv-proof
[(((triple11 triple12) -> rule2))]
("Harry" "is" "red" "-")
((triple11 triple12) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
True
5
proof
[(((triple12 ((triple11 triple12) -> rule2)) -> rule5))]
("Harry" "is" "blue" "+")
((triple12 ((triple11 triple12) -> (rule2 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not blue.
False
5
inv-proof
[(((triple12 ((triple11 triple12) -> rule2)) -> rule5))]
("Harry" "is" "blue" "-")
((triple12 ((triple11 triple12) -> (rule2 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
True
7
proof
[(((triple12 ((triple12 ((triple11 triple12) -> rule2)) -> rule5)) -> rule4))]
("Harry" "is" "cold" "+")
((triple12 ((triple12 ((triple11 triple12) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not cold.
False
7
inv-proof
[(((triple12 ((triple12 ((triple11 triple12) -> rule2)) -> rule5)) -> rule4))]
("Harry" "is" "cold" "-")
((triple12 ((triple12 ((triple11 triple12) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Gary is big.
Unknown
rconc
[@3: Gary is big.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule7 <- FAIL)]]
("Gary" "is" "big" "+")
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Gary is red.
Unknown
rconc
[@3: Gary is red.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule2 <- FAIL)]]
("Gary" "is" "red" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is rough.[(triple1)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Eric is nice.[(triple4)] Gary is cold.[(triple10)] Gary is kind.[(triple9)] Gary is nice.[(triple8)] Gary is young.[(triple7)] Harry is green.[(triple12)] Harry is kind.[(triple11)] @1: Eric is cold.[(((triple5 triple6) -> rule4))] Harry is red.[(((triple11 triple12) -> rule2))] @2: Harry is blue.[(((triple12 ((triple11 triple12) -> rule2)) -> rule5))] @3: Harry is cold.[(((triple12 ((triple12 ((triple11 triple12) -> rule2)) -> rule5)) -> rule4))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Eric is cold.
("Eric" "is" "cold" "+")
((triple5 triple6) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple11 triple12) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple12 ((triple11 triple12) -> (rule2 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple12 ((triple12 ((triple11 triple12) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Charlie is nice and kind, but a little rough.
Eric's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
Gary is a nice, kind young man; Gary keeps a sweater with him because he is always cold.
Upon meeting Harry, you'll notice he's green and kind.
When anyone can be described as nice, young and big, they can also be described as red.
Whenever you are around kind and green people, you will notice they are very red.
Anyone that is a red, nice soul will be big, too.
Green and blue, when found in one person, signify someone who is cold.
If red and slightly green people are asked, they will tell you they feel blue.
A green colored person will be young and also kind.
Generally, round and kind people are big.