Alan is someone you could describe as young, round, cold, and blue. Charlie grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Big Eric is young and green. I think because he is so round, he can be cold but he has also been nice many times. You will probably see that red, round people are nice, as well as green. Cold, red people are generally kind and big. A big and young, round someone looks red. If you meet a kind green person with a round shape they will also be young. Folks who are nice and young with red coloration tend to feel blue. If you color the young ones blue then they will be kind. A blue, rough and round person will also be a big person.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is round and red and nice then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is big and young and round then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and green and round then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and young and red then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and rough and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Eric is round.
True
1
proof
[(triple8)]
("Eric" "is" "round" "+")
triple8
Alan is not cold.
False
1
inv-proof
[(triple3)]
("Alan" "is" "cold" "-")
triple3
Alan is kind.
True
3
proof
[(((triple4 triple1) -> rule6))]
("Alan" "is" "kind" "+")
((triple4 triple1) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is not kind.
False
3
inv-proof
[(((triple4 triple1) -> rule6))]
("Alan" "is" "kind" "-")
((triple4 triple1) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Eric is blue.
True
7
proof
[(((triple9 triple7 ((triple12 triple7 triple8) -> rule3)) -> rule5))]
("Eric" "is" "blue" "+")
((triple9 triple7 ((triple12 triple7 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not blue.
False
7
inv-proof
[(((triple9 triple7 ((triple12 triple7 triple8) -> rule3)) -> rule5))]
("Eric" "is" "blue" "-")
((triple9 triple7 ((triple12 triple7 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
True
9
proof
[(((((triple9 triple7 ((triple12 triple7 triple8) -> rule3)) -> rule5) triple7) -> rule6))]
("Eric" "is" "kind" "+")
((((triple9 triple7 ((triple12 triple7 triple8) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not kind.
False
9
inv-proof
[(((((triple9 triple7 ((triple12 triple7 triple8) -> rule3)) -> rule5) triple7) -> rule6))]
("Eric" "is" "kind" "-")
((((triple9 triple7 ((triple12 triple7 triple8) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "-")
Fred is kind.
Unknown
rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Fred" "is" "kind" "+")
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "blue" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple6)] Charlie is rough.[(triple5)] Eric is big.[(triple12)] Eric is cold.[(triple11)] Eric is green.[(triple10 OR ((triple8 ((triple12 triple7 triple8) -> rule3) triple9) -> rule1))] Eric is nice.[(triple9)] Eric is round.[(triple8)] Eric is young.[(triple7)] @1: Alan is kind.[(((triple4 triple1) -> rule6))] Eric is red.[(((triple12 triple7 triple8) -> rule3))] @2: Eric is blue.[(((triple9 triple7 ((triple12 triple7 triple8) -> rule3)) -> rule5))] @3: Eric is kind.[(((((triple9 triple7 ((triple12 triple7 triple8) -> rule3)) -> rule5) triple7) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple12
Eric is cold.
("Eric" "is" "cold" "+")
triple11
Eric is green.
("Eric" "is" "green" "+")
triple10
((triple8 ((triple12 triple7 triple8) -> (rule3 % int2)) triple9) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Alan is kind.
("Alan" "is" "kind" "+")
((triple4 triple1) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple12 triple7 triple8) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple9 triple7 ((triple12 triple7 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((((triple9 triple7 ((triple12 triple7 triple8) -> (rule3 % int3))) -> (rule5 % int2)) triple7) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Alan is someone you could describe as young, round, cold, and blue.
Charlie grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Big Eric is young and green; I think because he is so round, he can be cold but he has also been nice many times.
You will probably see that red, round people are nice, as well as green.
Cold, red people are generally kind and big.
A big and young, round someone looks red.
If you meet a kind green person with a round shape they will also be young.
Folks who are nice and young with red coloration tend to feel blue.
If you color the young ones blue then they will be kind.
A blue, rough and round person will also be a big person.