Bob is so young and darling he is kind to all the old people on the block. Dave always goes out of his way to show that he is kind to people. Eric is still young which means he can be rough and cold. He is a big boy with red hair. Whoever is rough and red must be kind. Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue. Someone might be red but blue from the cold dressing in green. A person described as cold and kind can also be described as nice. Nice people who are green and red will also have round shapes. Anyone will tell you the kind and the big are also rough. If you meet a young and kind person who is also rough, they are cold, too.
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and rough and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and blue and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice and red then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is big and kind then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Eric is rough.
True
1
proof
[(triple5)]
("Eric" "is" "rough" "+")
triple5
Eric is not rough.
False
1
inv-proof
[(triple5)]
("Eric" "is" "rough" "-")
triple5
Eric is kind.
True
3
proof
[(((triple5 triple6) -> rule1))]
("Eric" "is" "kind" "+")
((triple5 triple6) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is not kind.
False
3
inv-proof
[(((triple5 triple6) -> rule1))]
("Eric" "is" "kind" "-")
((triple5 triple6) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
True
6
proof
[(((((triple5 triple6) -> rule1) triple5 triple4) -> rule2))]
("Eric" "is" "blue" "+")
((((triple5 triple6) -> (rule1 % int2)) triple5 triple4) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not nice.
False
5
inv-proof
[(((triple7 ((triple5 triple6) -> rule1)) -> rule4) OR ((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((triple5 triple6) -> rule1)) -> rule4))]
("Eric" "is" "nice" "-")
((triple7 ((triple5 triple6) -> (rule1 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
((((triple5 triple4 ((triple5 triple6) -> (rule1 % int3))) -> (rule7 % int2)) ((triple5 triple6) -> (rule1 % int3))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is green.
True
9
proof
[(((triple7 ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) OR ((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3))]
("Eric" "is" "green" "+")
((triple7 ((((triple5 triple6) -> (rule1 % int3)) triple5 triple4) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
((((triple5 triple4 ((triple5 triple6) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple5 triple6) -> (rule1 % int4)) triple5 triple4) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is not green.
False
9
inv-proof
[(((triple7 ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) OR ((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3))]
("Eric" "is" "green" "-")
((triple7 ((((triple5 triple6) -> (rule1 % int3)) triple5 triple4) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
((((triple5 triple4 ((triple5 triple6) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple5 triple6) -> (rule1 % int4)) triple5 triple4) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is round.
True
16
proof
[(((((triple7 ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) ((triple7 ((triple5 triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((triple7 ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) ((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((triple5 triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) ((triple7 ((triple5 triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) ((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((triple5 triple6) -> rule1)) -> rule4) triple6) -> rule5))]
("Eric" "is" "round" "+")
((((triple7 ((((triple5 triple6) -> (rule1 % int5)) triple5 triple4) -> (rule2 % int4)) triple6) -> (rule3 % int3)) ((triple7 ((triple5 triple6) -> (rule1 % int5))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is kind.
("Eric" "is" "kind" "+")
int5
((((triple7 ((((triple5 triple6) -> (rule1 % int6)) triple5 triple4) -> (rule2 % int5)) triple6) -> (rule3 % int4)) ((((triple5 triple4 ((triple5 triple6) -> (rule1 % int6))) -> (rule7 % int3)) ((triple5 triple6) -> (rule1 % int6))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is blue.
("Eric" "is" "blue" "+")
int5
Eric is kind.
("Eric" "is" "kind" "+")
int6
((((((triple5 triple4 ((triple5 triple6) -> (rule1 % int6))) -> (rule7 % int5)) ((((triple5 triple6) -> (rule1 % int6)) triple5 triple4) -> (rule2 % int4)) triple6) -> (rule3 % int3)) ((triple7 ((triple5 triple6) -> (rule1 % int6))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is cold.
("Eric" "is" "cold" "+")
int5
Eric is kind.
("Eric" "is" "kind" "+")
int6
((((((triple5 triple4 ((triple5 triple6) -> (rule1 % int6))) -> (rule7 % int5)) ((((triple5 triple6) -> (rule1 % int6)) triple5 triple4) -> (rule2 % int4)) triple6) -> (rule3 % int3)) ((((triple5 triple4 ((triple5 triple6) -> (rule1 % int6))) -> (rule7 % int5)) ((triple5 triple6) -> (rule1 % int6))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is cold.
("Eric" "is" "cold" "+")
int5
Eric is kind.
("Eric" "is" "kind" "+")
int6
Eric is not round.
False
16
inv-proof
[(((((triple7 ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) ((triple7 ((triple5 triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((triple7 ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) ((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((triple5 triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) ((triple7 ((triple5 triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) ((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((triple5 triple6) -> rule1)) -> rule4) triple6) -> rule5))]
("Eric" "is" "round" "-")
((((triple7 ((((triple5 triple6) -> (rule1 % int5)) triple5 triple4) -> (rule2 % int4)) triple6) -> (rule3 % int3)) ((triple7 ((triple5 triple6) -> (rule1 % int5))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is kind.
("Eric" "is" "kind" "+")
int5
((((triple7 ((((triple5 triple6) -> (rule1 % int6)) triple5 triple4) -> (rule2 % int5)) triple6) -> (rule3 % int4)) ((((triple5 triple4 ((triple5 triple6) -> (rule1 % int6))) -> (rule7 % int3)) ((triple5 triple6) -> (rule1 % int6))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is blue.
("Eric" "is" "blue" "+")
int5
Eric is kind.
("Eric" "is" "kind" "+")
int6
((((((triple5 triple4 ((triple5 triple6) -> (rule1 % int6))) -> (rule7 % int5)) ((((triple5 triple6) -> (rule1 % int6)) triple5 triple4) -> (rule2 % int4)) triple6) -> (rule3 % int3)) ((triple7 ((triple5 triple6) -> (rule1 % int6))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is cold.
("Eric" "is" "cold" "+")
int5
Eric is kind.
("Eric" "is" "kind" "+")
int6
((((((triple5 triple4 ((triple5 triple6) -> (rule1 % int6))) -> (rule7 % int5)) ((((triple5 triple6) -> (rule1 % int6)) triple5 triple4) -> (rule2 % int4)) triple6) -> (rule3 % int3)) ((((triple5 triple4 ((triple5 triple6) -> (rule1 % int6))) -> (rule7 % int5)) ((triple5 triple6) -> (rule1 % int6))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is cold.
("Eric" "is" "cold" "+")
int5
Eric is kind.
("Eric" "is" "kind" "+")
int6
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "-")
Bob is cold.
Unknown
rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Bob" "is" "cold" "+")
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "green" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "cold" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Bob is kind.[(triple2)] Bob is young.[(triple1)] Dave is kind.[(triple3)] Eric is big.[(triple8)] Eric is cold.[(triple7 OR ((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7))] Eric is red.[(triple6)] Eric is rough.[(triple5)] Eric is young.[(triple4)] @1: Eric is kind.[(((triple5 triple6) -> rule1))] @2: Eric is blue.[(((((triple5 triple6) -> rule1) triple5 triple4) -> rule2))] Eric is nice.[(((triple7 ((triple5 triple6) -> rule1)) -> rule4) OR ((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((triple5 triple6) -> rule1)) -> rule4))] @3: Eric is green.[(((triple7 ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) OR ((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3))] @4: Eric is round.[(((((triple7 ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) ((triple7 ((triple5 triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((triple7 ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) ((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((triple5 triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) ((triple7 ((triple5 triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((((triple5 triple6) -> rule1) triple5 triple4) -> rule2) triple6) -> rule3) ((((triple5 triple4 ((triple5 triple6) -> rule1)) -> rule7) ((triple5 triple6) -> rule1)) -> rule4) triple6) -> rule5))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
((triple5 triple4 ((triple5 triple6) -> (rule1 % int2))) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
((triple5 triple6) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((((triple5 triple6) -> (rule1 % int2)) triple5 triple4) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((triple7 ((triple5 triple6) -> (rule1 % int2))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
((((triple5 triple4 ((triple5 triple6) -> (rule1 % int3))) -> (rule7 % int2)) ((triple5 triple6) -> (rule1 % int3))) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
((triple7 ((((triple5 triple6) -> (rule1 % int3)) triple5 triple4) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
((((triple5 triple4 ((triple5 triple6) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple5 triple6) -> (rule1 % int4)) triple5 triple4) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
((((triple7 ((((triple5 triple6) -> (rule1 % int5)) triple5 triple4) -> (rule2 % int4)) triple6) -> (rule3 % int3)) ((triple7 ((triple5 triple6) -> (rule1 % int5))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is kind.
("Eric" "is" "kind" "+")
int5
((((triple7 ((((triple5 triple6) -> (rule1 % int6)) triple5 triple4) -> (rule2 % int5)) triple6) -> (rule3 % int4)) ((((triple5 triple4 ((triple5 triple6) -> (rule1 % int6))) -> (rule7 % int3)) ((triple5 triple6) -> (rule1 % int6))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is blue.
("Eric" "is" "blue" "+")
int5
Eric is kind.
("Eric" "is" "kind" "+")
int6
((((((triple5 triple4 ((triple5 triple6) -> (rule1 % int6))) -> (rule7 % int5)) ((((triple5 triple6) -> (rule1 % int6)) triple5 triple4) -> (rule2 % int4)) triple6) -> (rule3 % int3)) ((triple7 ((triple5 triple6) -> (rule1 % int6))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is cold.
("Eric" "is" "cold" "+")
int5
Eric is kind.
("Eric" "is" "kind" "+")
int6
((((((triple5 triple4 ((triple5 triple6) -> (rule1 % int6))) -> (rule7 % int5)) ((((triple5 triple6) -> (rule1 % int6)) triple5 triple4) -> (rule2 % int4)) triple6) -> (rule3 % int3)) ((((triple5 triple4 ((triple5 triple6) -> (rule1 % int6))) -> (rule7 % int5)) ((triple5 triple6) -> (rule1 % int6))) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is cold.
("Eric" "is" "cold" "+")
int5
Eric is kind.
("Eric" "is" "kind" "+")
int6
Bob is so young and darling he is kind to all the old people on the block.
Dave always goes out of his way to show that he is kind to people.
Eric is still young which means he can be rough and cold; He is a big boy with red hair.
Whoever is rough and red must be kind.
Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue.
Someone might be red but blue from the cold dressing in green.
A person described as cold and kind can also be described as nice.
Nice people who are green and red will also have round shapes.
Anyone will tell you the kind and the big are also rough.
If you meet a young and kind person who is also rough, they are cold, too.