Charlie looks red to most people, with blue features. Eric is nice and kind, but a little rough. Fred, the round one, is cold in Alaska because he's green and rough around the edges. In the snow sits Harry, crying from being cold. A person that has a round big body shape and has a bit of a rough personality will have a green skin tone. If smeone has a blue and green color, then they are young and probably kind. A person with big hair and rough lips is certainly young and jaded. Being green, blue, and red all point to how young someone was. Anyone who's blue is also green. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is round and rough and big then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and green and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Fred is green.
True
1
proof
[(triple8)]
("Fred" "is" "green" "+")
triple8
Charlie is not red.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "red" "-")
triple1
Charlie is green.
True
2
proof
[(((triple2) -> rule5))]
("Charlie" "is" "green" "+")
((triple2) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
2
inv-proof
[(((triple2) -> rule5))]
("Charlie" "is" "green" "-")
((triple2) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
True
5
proof
[(((((triple2) -> rule5) triple2 triple1) -> rule4))]
("Charlie" "is" "young" "+")
((((triple2) -> (rule5 % int2)) triple2 triple1) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not young.
False
5
inv-proof
[(((((triple2) -> rule5) triple2 triple1) -> rule4))]
("Charlie" "is" "young" "-")
((((triple2) -> (rule5 % int2)) triple2 triple1) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
True
9
proof
[(((triple2 ((triple2) -> rule5) ((((triple2) -> rule5) triple2 triple1) -> rule4)) -> rule2))]
("Charlie" "is" "kind" "+")
((triple2 ((triple2) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3)) triple2 triple1) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not kind.
False
9
inv-proof
[(((triple2 ((triple2) -> rule5) ((((triple2) -> rule5) triple2 triple1) -> rule4)) -> rule2))]
("Charlie" "is" "kind" "-")
((triple2 ((triple2) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3)) triple2 triple1) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "kind" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "young" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "green" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Charlie is blue.[(triple2)] Charlie is red.[(triple1)] Eric is kind.[(triple5)] Eric is nice.[(triple4)] Eric is rough.[(triple3)] Fred is cold.[(triple9)] Fred is green.[(triple8)] Fred is rough.[(triple7)] Fred is round.[(triple6)] Harry is cold.[(triple10)] @1: Charlie is green.[(((triple2) -> rule5))] @2: Charlie is young.[(((((triple2) -> rule5) triple2 triple1) -> rule4))] @3: Charlie is kind.[(((triple2 ((triple2) -> rule5) ((((triple2) -> rule5) triple2 triple1) -> rule4)) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Charlie is green.
("Charlie" "is" "green" "+")
((triple2) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((((triple2) -> (rule5 % int2)) triple2 triple1) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple2 ((triple2) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3)) triple2 triple1) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie looks red to most people, with blue features.
Eric is nice and kind, but a little rough.
Fred, the round one, is cold in Alaska because he's green and rough around the edges.
In the snow sits Harry, crying from being cold.
A person that has a round big body shape and has a bit of a rough personality will have a green skin tone.
If smeone has a blue and green color, then they are young and probably kind.
A person with big hair and rough lips is certainly young and jaded.
Being green, blue, and red all point to how young someone was.
Anyone who's blue is also green.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.