When you meet Charlie you'll the two characteristics that will standout is that he's red but also rough. Dave wears all blue. Eric is big for being as young as he is. You will also notice how he is green and red. The young boy Gary still hasn't come to grips with his conflicting traits of being both rough and nice. Combined with his round torso, that makes him feel blue. It seems to be that a person who is green, red, and blue will be very big. Red and round people are nice to others even though they are big. A big, young human being is sure to also be a green human being. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color. A young person with cold, rough skin will be red as well. Blue people round with fat are red from too much time in the sun. Get a rather green person who is both nice, but cold to others, then they are certain to be round.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is red and blue and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and round and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and cold and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and rough and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and green and cold then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Gary is young.
True
1
proof
[(triple8)]
("Gary" "is" "young" "+")
triple8
Gary is not round.
False
1
inv-proof
[(triple9)]
("Gary" "is" "round" "-")
triple9
Gary is red.
True
3
proof
[(((triple12 triple9) -> rule6))]
("Gary" "is" "red" "+")
((triple12 triple9) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
3
inv-proof
[(((triple12 triple9) -> rule6))]
("Gary" "is" "red" "-")
((triple12 triple9) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
True
6
proof
[(((triple11 triple9 ((triple12 triple9) -> rule6)) -> rule2))]
("Gary" "is" "big" "+")
((triple11 triple9 ((triple12 triple9) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not big.
False
6
inv-proof
[(((triple11 triple9 ((triple12 triple9) -> rule6)) -> rule2))]
("Gary" "is" "big" "-")
((triple11 triple9 ((triple12 triple9) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
True
8
proof
[(((((triple11 triple9 ((triple12 triple9) -> rule6)) -> rule2) triple8) -> rule3))]
("Gary" "is" "green" "+")
((((triple11 triple9 ((triple12 triple9) -> (rule6 % int3))) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not green.
False
8
inv-proof
[(((((triple11 triple9 ((triple12 triple9) -> rule6)) -> rule2) triple8) -> rule3))]
("Gary" "is" "green" "-")
((((triple11 triple9 ((triple12 triple9) -> (rule6 % int3))) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "green" "+")
Dave is not big.
Unknown
inv-rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Dave" "is" "big" "-")
Charlie is big.
Unknown
rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "big" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Charlie is red.[(triple2)] Charlie is rough.[(triple1)] Dave is blue.[(triple3)] Eric is big.[(triple7)] Eric is green.[(triple6 OR ((triple7 triple4) -> rule3))] Eric is red.[(triple5)] Eric is young.[(triple4)] Gary is blue.[(triple12)] Gary is nice.[(triple11)] Gary is rough.[(triple10)] Gary is round.[(triple9)] Gary is young.[(triple8)] @1: Gary is red.[(((triple12 triple9) -> rule6))] @2: Gary is big.[(((triple11 triple9 ((triple12 triple9) -> rule6)) -> rule2))] @3: Gary is green.[(((((triple11 triple9 ((triple12 triple9) -> rule6)) -> rule2) triple8) -> rule3))]
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
((triple7 triple4) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
((triple12 triple9) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple11 triple9 ((triple12 triple9) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((((triple11 triple9 ((triple12 triple9) -> (rule6 % int3))) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
When you meet Charlie you'll the two characteristics that will standout is that he's red but also rough.
Dave wears all blue.
Eric is big for being as young as he is; You will also notice how he is green and red.
The young boy Gary still hasn't come to grips with his conflicting traits of being both rough and nice; Combined with his round torso, that makes him feel blue.
It seems to be that a person who is green, red, and blue will be very big.
Red and round people are nice to others even though they are big.
A big, young human being is sure to also be a green human being.
Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.
A young person with cold, rough skin will be red as well.
Blue people round with fat are red from too much time in the sun.
Get a rather green person who is both nice, but cold to others, then they are certain to be round.