Bob is green, which is a possible explanation for why he is so nice. Young Charlie is big and round from his mother's good cooking.  Charlie is the kind of kid who is nice and kind to everyone and who is red with a sunburn. Eric ate some rotten meat and now feels green. Fred is a nice person, but he is both blue and red. Most young, green people are kind and because of this they are round. If you meet a young, round person who is nice on the street, offer them your coat because they are cold. When anyone is young, red and green, you know they'll also be blue. Kind people,though green,tend to be nice. Young, kind people have the trait of being cold and are also very nice to interact with. Anybody with rough, kind and blue aspects will certainly be cold, too. Young and kind people, that also tend to be cold, are then considered green.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is green and young and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is round and nice and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and young and green then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and young and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and kind and cold then they are green.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Bob is nice.
True
1
proof
[(triple1)]
("Bob" "is" "nice" "+")
triple1
Charlie is not round.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "round" "-")
triple4
Charlie is cold.
True
4
proof
[(((triple4 triple6 triple3) -> rule2))]
("Charlie" "is" "cold" "+")
((triple4 triple6 triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
4
inv-proof
[(((triple4 triple6 triple3) -> rule2))]
("Charlie" "is" "cold" "-")
((triple4 triple6 triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
True
7
proof
[(((triple3 triple7 ((triple4 triple6 triple3) -> rule2)) -> rule7))]
("Charlie" "is" "green" "+")
((triple3 triple7 ((triple4 triple6 triple3) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not green.
False
7
inv-proof
[(((triple3 triple7 ((triple4 triple6 triple3) -> rule2)) -> rule7))]
("Charlie" "is" "green" "-")
((triple3 triple7 ((triple4 triple6 triple3) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
True
10
proof
[(((triple5 triple3 ((triple3 triple7 ((triple4 triple6 triple3) -> rule2)) -> rule7)) -> rule3))]
("Charlie" "is" "blue" "+")
((triple5 triple3 ((triple3 triple7 ((triple4 triple6 triple3) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not blue.
False
10
inv-proof
[(((triple5 triple3 ((triple3 triple7 ((triple4 triple6 triple3) -> rule2)) -> rule7)) -> rule3))]
("Charlie" "is" "blue" "-")
((triple5 triple3 ((triple3 triple7 ((triple4 triple6 triple3) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "green" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "blue" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "cold" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is green.[(triple2)] Bob is nice.[(triple1)] Charlie is big.[(triple8)] Charlie is kind.[(triple7)] Charlie is nice.[(triple6)] Charlie is red.[(triple5)] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Eric is green.[(triple9)] Fred is blue.[(triple12)] Fred is nice.[(triple11)] Fred is red.[(triple10)] @1: Charlie is cold.[(((triple4 triple6 triple3) -> rule2))] @2: Charlie is green.[(((triple3 triple7 ((triple4 triple6 triple3) -> rule2)) -> rule7))] @3: Charlie is blue.[(((triple5 triple3 ((triple3 triple7 ((triple4 triple6 triple3) -> rule2)) -> rule7)) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Eric is green.
("Eric" "is" "green" "+")
triple9
Fred is blue.
("Fred" "is" "blue" "+")
triple12
Fred is nice.
("Fred" "is" "nice" "+")
triple11
Fred is red.
("Fred" "is" "red" "+")
triple10
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple4 triple6 triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple3 triple7 ((triple4 triple6 triple3) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple5 triple3 ((triple3 triple7 ((triple4 triple6 triple3) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Bob is green, which is a possible explanation for why he is so nice.
Young Charlie is big and round from his mother's good cooking; Charlie is the kind of kid who is nice and kind to everyone and who is red with a sunburn.
Eric ate some rotten meat and now feels green.
Fred is a nice person, but he is both blue and red.
Most young, green people are kind and because of this they are round.
If you meet a young, round person who is nice on the street, offer them your coat because they are cold.
When anyone is young, red and green, you know they'll also be blue.
Kind people,though green,tend to be nice.
Young, kind people have the trait of being cold and are also very nice to interact with.
Anybody with rough, kind and blue aspects will certainly be cold, too.
Young and kind people, that also tend to be cold, are then considered green.