Eric is a nice round guy, which leads to him being red. Fred ate some rotten meat and now feels green. Gary's skin appears to be red because of an infection which because of his big size slows his blood flow causing him to always feel cold despite this he is still very nice to everyone he encounters. Harry is very nice to people, but he's also rather big. If a red person is cold and kind to others, they also tend to be blue. A person who is nice and green with envy is round. If someone is colored red but is cold, they tend to show a lot of green. Someone being both nice and kind means that they are a big person. Green eyed people are often nice, but when they are also round about the middle they are most certainly kind. Anyone who is known to be kind, nice, and round is generally also known to be a green color. If you meet somebody who is young, rough and round, you can be sure they are nice as well.
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is cold and kind and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and nice and round then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice and round then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is young and round and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Eric is red.
True
1
proof
[(triple2)]
("Eric" "is" "red" "+")
triple2
Harry is not nice.
False
1
inv-proof
[(triple9)]
("Harry" "is" "nice" "-")
triple9
Gary is green.
True
3
proof
[(((triple5 triple7) -> rule3))]
("Gary" "is" "green" "+")
((triple5 triple7) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple5 triple7) -> rule3))]
("Gary" "is" "green" "-")
((triple5 triple7) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
True
5
proof
[(((triple6 ((triple5 triple7) -> rule3)) -> rule2))]
("Gary" "is" "round" "+")
((triple6 ((triple5 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not round.
False
5
inv-proof
[(((triple6 ((triple5 triple7) -> rule3)) -> rule2))]
("Gary" "is" "round" "-")
((triple6 ((triple5 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
True
10
proof
[(((((triple5 triple7) -> rule3) triple6 ((triple6 ((triple5 triple7) -> rule3)) -> rule2)) -> rule5))]
("Gary" "is" "kind" "+")
((((triple5 triple7) -> (rule3 % int3)) triple6 ((triple6 ((triple5 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not kind.
False
10
inv-proof
[(((((triple5 triple7) -> rule3) triple6 ((triple6 ((triple5 triple7) -> rule3)) -> rule2)) -> rule5))]
("Gary" "is" "kind" "-")
((((triple5 triple7) -> (rule3 % int3)) triple6 ((triple6 ((triple5 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
True
13
proof
[(((triple7 ((((triple5 triple7) -> rule3) triple6 ((triple6 ((triple5 triple7) -> rule3)) -> rule2)) -> rule5) triple5) -> rule1))]
("Gary" "is" "blue" "+")
((triple7 ((((triple5 triple7) -> (rule3 % int4)) triple6 ((triple6 ((triple5 triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is not blue.
False
13
inv-proof
[(((triple7 ((((triple5 triple7) -> rule3) triple6 ((triple6 ((triple5 triple7) -> rule3)) -> rule2)) -> rule5) triple5) -> rule1))]
("Gary" "is" "blue" "-")
((triple7 ((((triple5 triple7) -> (rule3 % int4)) triple6 ((triple6 ((triple5 triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Fred is not kind.
Unknown
inv-rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Fred" "is" "kind" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "blue" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "-")
Eric is green.
Unknown
rconc
[@3: Eric is green.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule3 <- FAIL)]]
("Eric" "is" "green" "+")
Eric is not big.
Unknown
inv-rconc
[@3: Eric is big.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule3 <- FAIL)]]
("Eric" "is" "big" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Eric is nice.[(triple3)] Eric is red.[(triple2)] Eric is round.[(triple1)] Fred is green.[(triple4)] Gary is big.[(triple8 OR ((triple6 ((((triple5 triple7) -> rule3) triple6 ((triple6 ((triple5 triple7) -> rule3)) -> rule2)) -> rule5)) -> rule4))] Gary is cold.[(triple7)] Gary is nice.[(triple6)] Gary is red.[(triple5)] Harry is big.[(triple10)] Harry is nice.[(triple9)] @1: Gary is green.[(((triple5 triple7) -> rule3))] @2: Gary is round.[(((triple6 ((triple5 triple7) -> rule3)) -> rule2))] @3: Gary is kind.[(((((triple5 triple7) -> rule3) triple6 ((triple6 ((triple5 triple7) -> rule3)) -> rule2)) -> rule5))] @4: Gary is blue.[(((triple7 ((((triple5 triple7) -> rule3) triple6 ((triple6 ((triple5 triple7) -> rule3)) -> rule2)) -> rule5) triple5) -> rule1))]
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Eric is red.
("Eric" "is" "red" "+")
triple2
Eric is round.
("Eric" "is" "round" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple8
((triple6 ((((triple5 triple7) -> (rule3 % int4)) triple6 ((triple6 ((triple5 triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
((triple5 triple7) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple6 ((triple5 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple5 triple7) -> (rule3 % int3)) triple6 ((triple6 ((triple5 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
((triple7 ((((triple5 triple7) -> (rule3 % int4)) triple6 ((triple6 ((triple5 triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Eric is a nice round guy, which leads to him being red.
Fred ate some rotten meat and now feels green.
Gary's skin appears to be red because of an infection which because of his big size slows his blood flow causing him to always feel cold despite this he is still very nice to everyone he encounters.
Harry is very nice to people, but he's also rather big.
If a red person is cold and kind to others, they also tend to be blue.
A person who is nice and green with envy is round.
If someone is colored red but is cold, they tend to show a lot of green.
Someone being both nice and kind means that they are a big person.
Green eyed people are often nice, but when they are also round about the middle they are most certainly kind.
Anyone who is known to be kind, nice, and round is generally also known to be a green color.
If you meet somebody who is young, rough and round, you can be sure they are nice as well.