They always say that he is so nice and kind, that is Big Alan.  But he is also round and blue. Bob ate some rotten meat and now feels green. From a certain angle Fred is blue but he is young so maybe that will go away. Big Gary is nice but also rough. A big person who feels cold and has blue skin is a nice person. If you have a big and round shape then you are going to be young, too. Someone who is cold, big, and rough is always green, as a rule. A young person with a kind heart and big sized body will be rough around the edges. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. Whenever somebody can be described as rough, round and cold, they can also be described as young. Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is cold and blue and big then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and big then they are young.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and big and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is young and kind and big then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and rough and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is big and nice and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Bob is green.
True
1
proof
[(triple6)]
("Bob" "is" "green" "+")
triple6
Alan is not big.
False
1
inv-proof
[(triple5)]
("Alan" "is" "big" "-")
triple5
Alan is young.
True
3
proof
[(((triple1 triple5) -> rule2))]
("Alan" "is" "young" "+")
((triple1 triple5) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is not young.
False
3
inv-proof
[(((triple1 triple5) -> rule2))]
("Alan" "is" "young" "-")
((triple1 triple5) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
True
6
proof
[(((((triple1 triple5) -> rule2) triple3 triple5) -> rule4))]
("Alan" "is" "rough" "+")
((((triple1 triple5) -> (rule2 % int2)) triple3 triple5) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is not rough.
False
6
inv-proof
[(((((triple1 triple5) -> rule2) triple3 triple5) -> rule4))]
("Alan" "is" "rough" "-")
((((triple1 triple5) -> (rule2 % int2)) triple3 triple5) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
True
12
proof
[(((((triple5 triple2 triple3) -> rule7) triple5 ((((triple1 triple5) -> rule2) triple3 triple5) -> rule4)) -> rule3))]
("Alan" "is" "green" "+")
((((triple5 triple2 triple3) -> (rule7 % int4)) triple5 ((((triple1 triple5) -> (rule2 % int3)) triple3 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is not green.
False
12
inv-proof
[(((((triple5 triple2 triple3) -> rule7) triple5 ((((triple1 triple5) -> rule2) triple3 triple5) -> rule4)) -> rule3))]
("Alan" "is" "green" "-")
((((triple5 triple2 triple3) -> (rule7 % int4)) triple5 ((((triple1 triple5) -> (rule2 % int3)) triple3 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "cold" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "rough" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "cold" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Bob is green.[(triple6)] Fred is blue.[(triple8)] Fred is young.[(triple7)] Gary is big.[(triple11)] Gary is nice.[(triple10)] Gary is rough.[(triple9)] @1: Alan is cold.[(((triple5 triple2 triple3) -> rule7))] Alan is young.[(((triple1 triple5) -> rule2))] @2: Alan is rough.[(((((triple1 triple5) -> rule2) triple3 triple5) -> rule4))] @3: Alan is green.[(((((triple5 triple2 triple3) -> rule7) triple5 ((((triple1 triple5) -> rule2) triple3 triple5) -> rule4)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Alan is cold.
("Alan" "is" "cold" "+")
((triple5 triple2 triple3) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple1 triple5) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((((triple1 triple5) -> (rule2 % int2)) triple3 triple5) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
((((triple5 triple2 triple3) -> (rule7 % int4)) triple5 ((((triple1 triple5) -> (rule2 % int3)) triple3 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
They always say that he is so nice and kind, that is Big Alan; But he is also round and blue.
Bob ate some rotten meat and now feels green.
From a certain angle Fred is blue but he is young so maybe that will go away.
Big Gary is nice but also rough.
A big person who feels cold and has blue skin is a nice person.
If you have a big and round shape then you are going to be young, too.
Someone who is cold, big, and rough is always green, as a rule.
A young person with a kind heart and big sized body will be rough around the edges.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
Whenever somebody can be described as rough, round and cold, they can also be described as young.
Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.