Alan gets red when he is mad and tends to act very cold. To the touch Charlie has rough, cold skin. Dave is red but has turned blue as he is cold but now he is green.  Dave is young and rough. Gary is big and tends to wear red shirts. A male or female with rough, kind and round traits will surely have a nice quality, as well. People who are green and blue tend to be round in shape. A big person in size will definitely be rough. Someone who is young and nice is often round. Big people that have a rough demeanor usually feel blue. A human being described as rough, nice and round will also fit the description of being cold. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
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 green and blue then they are round.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and round and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Dave is blue.
True
1
proof
[(triple10)]
("Dave" "is" "blue" "+")
triple10
Gary is not red.
False
1
inv-proof
[(triple11)]
("Gary" "is" "red" "-")
triple11
Dave is round.
True
3
proof
[(((triple8 triple10) -> rule2))]
("Dave" "is" "round" "+")
((triple8 triple10) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
3
inv-proof
[(((triple8 triple10) -> rule2))]
("Dave" "is" "round" "-")
((triple8 triple10) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Gary is blue.
True
4
proof
[(((triple12 ((triple12) -> rule3)) -> rule5))]
("Gary" "is" "blue" "+")
((triple12 ((triple12) -> (rule3 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not blue.
False
4
inv-proof
[(((triple12 ((triple12) -> rule3)) -> rule5))]
("Gary" "is" "blue" "-")
((triple12 ((triple12) -> (rule3 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
True
8
proof
[(((((triple12 ((triple12) -> rule3)) -> rule5) ((triple12) -> rule3) triple12) -> rule7))]
("Gary" "is" "nice" "+")
((((triple12 ((triple12) -> (rule3 % int3))) -> (rule5 % int2)) ((triple12) -> (rule3 % int3)) triple12) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not nice.
False
8
inv-proof
[(((((triple12 ((triple12) -> rule3)) -> rule5) ((triple12) -> rule3) triple12) -> rule7))]
("Gary" "is" "nice" "-")
((((triple12 ((triple12) -> (rule3 % int3))) -> (rule5 % int2)) ((triple12) -> (rule3 % int3)) triple12) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Alan is not rough.
Unknown
inv-rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "rough" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "blue" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "blue" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Alan is cold.[(triple2)] Alan is red.[(triple1)] Charlie is cold.[(triple4)] Charlie is rough.[(triple3)] Dave is blue.[(triple10)] Dave is cold.[(triple9)] Dave is green.[(triple8)] Dave is red.[(triple7)] Dave is rough.[(triple6)] Dave is young.[(triple5)] Gary is big.[(triple12)] Gary is red.[(triple11)] @1: Dave is round.[(((triple8 triple10) -> rule2))] Gary is rough.[(((triple12) -> rule3))] @2: Gary is blue.[(((triple12 ((triple12) -> rule3)) -> rule5))] @3: Gary is nice.[(((((triple12 ((triple12) -> rule3)) -> rule5) ((triple12) -> rule3) triple12) -> rule7))]
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple11
Dave is round.
("Dave" "is" "round" "+")
((triple8 triple10) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple12) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple12 ((triple12) -> (rule3 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple12 ((triple12) -> (rule3 % int3))) -> (rule5 % int2)) ((triple12) -> (rule3 % int3)) triple12) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Alan gets red when he is mad and tends to act very cold.
To the touch Charlie has rough, cold skin.
Dave is red but has turned blue as he is cold but now he is green; Dave is young and rough.
Gary is big and tends to wear red shirts.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
People who are green and blue tend to be round in shape.
A big person in size will definitely be rough.
Someone who is young and nice is often round.
Big people that have a rough demeanor usually feel blue.
A human being described as rough, nice and round will also fit the description of being cold.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.