Charlie gets red when he is mad and tends to act very cold. They always call him rough Fred. Gary is rough, round and young but also red. That big young man is Harry he can act in a somewhat rough manner but that's just because he feels very green here. A green, downhearted, and blue person with red cheeks is big. A person who is described as round and rough is usually kind. Almost all of the young blue and red people I have seen are big as well. Someone might be red but blue from the cold dressing in green. Unfortunately, all the young people who are considered green are all round. Kind people who look green are almost always young in age. Young, kind people with a round body shape can be cold to strangers.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue and red and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and blue and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and blue and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is green and young then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is green and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and young and round then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Gary is rough.
True
1
proof
[(triple6)]
("Gary" "is" "rough" "+")
triple6
Harry is not rough.
False
1
inv-proof
[(triple9)]
("Harry" "is" "rough" "-")
triple9
Harry is round.
True
3
proof
[(((triple10 triple8) -> rule5))]
("Harry" "is" "round" "+")
((triple10 triple8) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
3
inv-proof
[(((triple10 triple8) -> rule5))]
("Harry" "is" "round" "-")
((triple10 triple8) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Gary is cold.
True
6
proof
[(((((triple5 triple6) -> rule2) triple4 triple5) -> rule7))]
("Gary" "is" "cold" "+")
((((triple5 triple6) -> (rule2 % int2)) triple4 triple5) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not cold.
False
6
inv-proof
[(((((triple5 triple6) -> rule2) triple4 triple5) -> rule7))]
("Gary" "is" "cold" "-")
((((triple5 triple6) -> (rule2 % int2)) triple4 triple5) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Harry is cold.
True
10
proof
[(((((((triple10 triple8) -> rule5) triple9) -> rule2) triple8 ((triple10 triple8) -> rule5)) -> rule7))]
("Harry" "is" "cold" "+")
((((((triple10 triple8) -> (rule5 % int3)) triple9) -> (rule2 % int2)) triple8 ((triple10 triple8) -> (rule5 % int3))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not cold.
False
10
inv-proof
[(((((((triple10 triple8) -> rule5) triple9) -> rule2) triple8 ((triple10 triple8) -> rule5)) -> rule7))]
("Harry" "is" "cold" "-")
((((((triple10 triple8) -> (rule5 % int3)) triple9) -> (rule2 % int2)) triple8 ((triple10 triple8) -> (rule5 % int3))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@3: Fred is cold.[CWA. Example of deepest failure = (rule7 <- rule6 <- rule4 <- FAIL)]]
("Fred" "is" "cold" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not round.
Unknown
inv-rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Charlie is cold.[(triple2)] Charlie is red.[(triple1)] Fred is rough.[(triple3)] Gary is red.[(triple7)] Gary is rough.[(triple6)] Gary is round.[(triple5)] Gary is young.[(triple4)] Harry is big.[(triple11)] Harry is green.[(triple10)] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Gary is kind.[(((triple5 triple6) -> rule2))] Harry is round.[(((triple10 triple8) -> rule5))] @2: Gary is cold.[(((((triple5 triple6) -> rule2) triple4 triple5) -> rule7))] Harry is kind.[(((((triple10 triple8) -> rule5) triple9) -> rule2))] @3: Harry is cold.[(((((((triple10 triple8) -> rule5) triple9) -> rule2) triple8 ((triple10 triple8) -> rule5)) -> rule7))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Fred is rough.
("Fred" "is" "rough" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
((triple5 triple6) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple10 triple8) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple5 triple6) -> (rule2 % int2)) triple4 triple5) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((triple10 triple8) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((((triple10 triple8) -> (rule5 % int3)) triple9) -> (rule2 % int2)) triple8 ((triple10 triple8) -> (rule5 % int3))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Charlie gets red when he is mad and tends to act very cold.
They always call him rough Fred.
Gary is rough, round and young but also red.
That big young man is Harry he can act in a somewhat rough manner but that's just because he feels very green here.
A green, downhearted, and blue person with red cheeks is big.
A person who is described as round and rough is usually kind.
Almost all of the young blue and red people I have seen are big as well.
Someone might be red but blue from the cold dressing in green.
Unfortunately, all the young people who are considered green are all round.
Kind people who look green are almost always young in age.
Young, kind people with a round body shape can be cold to strangers.