Even though he's a big dude, Alan is cold. Bob always goes out of his way to show that he is kind to people. Blue with the cold Dave is rough but kind with a green shirt. Gary is nice person, who was red colored due to a sunburn, was feeling rough because he is cold. A big person who is red and nice to others is also young. A male or female with rough, kind and round traits will surely have a nice quality, as well. Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue. A person described as cold and kind can also be described as nice. Because of circulation issues big people are often cold. If they are also green then they are certainly young. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is red and nice and big then they are young.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and kind and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
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 kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and green and big then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Dave is green.
True
1
proof
[(triple6)]
("Dave" "is" "green" "+")
triple6
Dave is not kind.
False
1
inv-proof
[(triple5)]
("Dave" "is" "kind" "-")
triple5
Gary is big.
True
3
proof
[(((triple12 triple11) -> rule6))]
("Gary" "is" "big" "+")
((triple12 triple11) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple12 triple11) -> rule6))]
("Gary" "is" "big" "-")
((triple12 triple11) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Dave is big.
True
5
proof
[(((triple7 ((triple7 triple5) -> rule4)) -> rule6))]
("Dave" "is" "big" "+")
((triple7 ((triple7 triple5) -> (rule4 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not big.
False
5
inv-proof
[(((triple7 ((triple7 triple5) -> rule4)) -> rule6))]
("Dave" "is" "big" "-")
((triple7 ((triple7 triple5) -> (rule4 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
True
8
proof
[(((triple7 triple6 ((triple7 ((triple7 triple5) -> rule4)) -> rule6)) -> rule5))]
("Dave" "is" "young" "+")
((triple7 triple6 ((triple7 ((triple7 triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not young.
False
8
inv-proof
[(((triple7 triple6 ((triple7 ((triple7 triple5) -> rule4)) -> rule6)) -> rule5))]
("Dave" "is" "young" "-")
((triple7 triple6 ((triple7 ((triple7 triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "nice" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
@0: Alan is big.[(triple2)] Alan is cold.[(triple1)] Bob is kind.[(triple3)] Dave is blue.[(triple8 OR ((triple5 triple4 ((triple7 triple6 ((triple7 ((triple7 triple5) -> rule4)) -> rule6)) -> rule5)) -> rule3))] Dave is cold.[(triple7)] Dave is green.[(triple6)] Dave is kind.[(triple5)] Dave is rough.[(triple4)] Gary is cold.[(triple12)] Gary is nice.[(triple11)] Gary is red.[(triple10)] Gary is rough.[(triple9)] @1: Dave is nice.[(((triple7 triple5) -> rule4))] Gary is big.[(((triple12 triple11) -> rule6))] @2: Dave is big.[(((triple7 ((triple7 triple5) -> rule4)) -> rule6))] Gary is young.[(((triple10 triple11 ((triple12 triple11) -> rule6)) -> rule1))] @3: Dave is young.[(((triple7 triple6 ((triple7 ((triple7 triple5) -> rule4)) -> rule6)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple8
((triple5 triple4 ((triple7 triple6 ((triple7 ((triple7 triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
((triple7 triple5) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple12 triple11) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple7 ((triple7 triple5) -> (rule4 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple10 triple11 ((triple12 triple11) -> (rule6 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple7 triple6 ((triple7 ((triple7 triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Even though he's a big dude, Alan is cold.
Bob always goes out of his way to show that he is kind to people.
Blue with the cold Dave is rough but kind with a green shirt.
Gary is nice person, who was red colored due to a sunburn, was feeling rough because he is cold.
A big person who is red and nice to others is also young.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue.
A person described as cold and kind can also be described as nice.
Because of circulation issues big people are often cold; If they are also green then they are certainly young.
People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.