They always call him rough Alan. Because Charlie, who is young, loves to eat he is quite round.  Sometimes that makes him feel blue and get rough with people who make fun of him.  But he is actually quite kind. Being young, Eric is still green and blue. Others enjoy Harry's company because he is so nice and kind. A big person who also feels blue and a bit green are usually wearing red. A rough person who is young and nice is also red. If a person that is kind is big and blue they have to be young. A young, nice person will turn out to be a green person also. If a person behaves in a nice way while they are physically blue and big, they're definitely round. I have found that kind, rough people are both red and cold. If someone is feeling blue and round in shape they are usually nice.
Alan is rough.
("Alan" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is big and blue and green then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice and rough then they are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and kind and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young and nice then they are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is red and kind and rough then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Harry is kind.
True
1
proof
[(triple11)]
("Harry" "is" "kind" "+")
triple11
Eric is not green.
False
1
inv-proof
[(triple8)]
("Eric" "is" "green" "-")
triple8
Charlie is nice.
True
3
proof
[(((triple6 triple3) -> rule7))]
("Charlie" "is" "nice" "+")
((triple6 triple3) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple6 triple3) -> rule7))]
("Charlie" "is" "nice" "-")
((triple6 triple3) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
True
5
proof
[(((triple2 ((triple6 triple3) -> rule7)) -> rule4))]
("Charlie" "is" "green" "+")
((triple2 ((triple6 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not red.
False
6
inv-proof
[(((triple2 ((triple6 triple3) -> rule7) triple4) -> rule2))]
("Charlie" "is" "red" "-")
((triple2 ((triple6 triple3) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
True
9
proof
[(((((triple2 ((triple6 triple3) -> rule7) triple4) -> rule2) triple5 triple4) -> rule6))]
("Charlie" "is" "cold" "+")
((((triple2 ((triple6 triple3) -> (rule7 % int3)) triple4) -> (rule2 % int2)) triple5 triple4) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not cold.
False
9
inv-proof
[(((((triple2 ((triple6 triple3) -> rule7) triple4) -> rule2) triple5 triple4) -> rule6))]
("Charlie" "is" "cold" "-")
((((triple2 ((triple6 triple3) -> (rule7 % int3)) triple4) -> (rule2 % int2)) triple5 triple4) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "nice" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "+")
Eric is not nice.
Unknown
inv-rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Eric" "is" "nice" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "round" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Alan is rough.[(triple1)] Charlie is blue.[(triple6)] Charlie is kind.[(triple5)] Charlie is rough.[(triple4)] Charlie is round.[(triple3)] Charlie is young.[(triple2)] Eric is blue.[(triple9)] Eric is green.[(triple8)] Eric is young.[(triple7)] Harry is kind.[(triple11)] Harry is nice.[(triple10)] @1: Charlie is nice.[(((triple6 triple3) -> rule7))] @2: Charlie is green.[(((triple2 ((triple6 triple3) -> rule7)) -> rule4))] Charlie is red.[(((triple2 ((triple6 triple3) -> rule7) triple4) -> rule2))] @3: Charlie is cold.[(((((triple2 ((triple6 triple3) -> rule7) triple4) -> rule2) triple5 triple4) -> rule6))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple6 triple3) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple2 ((triple6 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((triple2 ((triple6 triple3) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple2 ((triple6 triple3) -> (rule7 % int3)) triple4) -> (rule2 % int2)) triple5 triple4) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
They always call him rough Alan.
Because Charlie, who is young, loves to eat he is quite round; Sometimes that makes him feel blue and get rough with people who make fun of him; But he is actually quite kind.
Being young, Eric is still green and blue.
Others enjoy Harry's company because he is so nice and kind.
A big person who also feels blue and a bit green are usually wearing red.
A rough person who is young and nice is also red.
If a person that is kind is big and blue they have to be young.
A young, nice person will turn out to be a green person also.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.
I have found that kind, rough people are both red and cold.
If someone is feeling blue and round in shape they are usually nice.