In the snow sits Eric, crying from being cold. Fred wears all blue. Gary looks red to most people, with blue features. Harry is generally considered to be a round guy. People consider him kind, although a bit on the cold side. He's also both green and blue. Someone who looks rough and feels cold is also kind to others. Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner. Whenever somebody can be described as rough, round and cold, they can also be described as young. A young person with cold, rough skin will be red as well. Blue, kind, and cold people are habitually rough.
Eric is cold.
("Eric" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and big and blue then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
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 young and rough and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and kind and cold then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Harry is blue.
True
1
proof
[(triple9)]
("Harry" "is" "blue" "+")
triple9
Gary is not red.
False
1
inv-proof
[(triple3)]
("Gary" "is" "red" "-")
triple3
Harry is rough.
True
4
proof
[(((triple9 triple6 triple8) -> rule5))]
("Harry" "is" "rough" "+")
((triple9 triple6 triple8) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
4
inv-proof
[(((triple9 triple6 triple8) -> rule5))]
("Harry" "is" "rough" "-")
((triple9 triple6 triple8) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
True
7
proof
[(((triple8 ((triple9 triple6 triple8) -> rule5) triple5) -> rule3))]
("Harry" "is" "young" "+")
((triple8 ((triple9 triple6 triple8) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not young.
False
7
inv-proof
[(((triple8 ((triple9 triple6 triple8) -> rule5) triple5) -> rule3))]
("Harry" "is" "young" "-")
((triple8 ((triple9 triple6 triple8) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is red.
True
13
proof
[(((((triple8 ((triple9 triple6 triple8) -> rule5) triple5) -> rule3) ((triple9 triple6 triple8) -> rule5) triple8) -> rule4))]
("Harry" "is" "red" "+")
((((triple8 ((triple9 triple6 triple8) -> (rule5 % int3)) triple5) -> (rule3 % int2)) ((triple9 triple6 triple8) -> (rule5 % int3)) triple8) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not red.
False
13
inv-proof
[(((((triple8 ((triple9 triple6 triple8) -> rule5) triple5) -> rule3) ((triple9 triple6 triple8) -> rule5) triple8) -> rule4))]
("Harry" "is" "red" "-")
((((triple8 ((triple9 triple6 triple8) -> (rule5 % int3)) triple5) -> (rule3 % int2)) ((triple9 triple6 triple8) -> (rule5 % int3)) triple8) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "+")
Eric is not red.
Unknown
inv-rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Eric" "is" "red" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Eric is cold.[(triple1)] Fred is blue.[(triple2)] Gary is blue.[(triple4)] Gary is red.[(triple3)] Harry is blue.[(triple9)] Harry is cold.[(triple8)] Harry is green.[(triple7)] Harry is kind.[(triple6)] Harry is round.[(triple5)] @1: Harry is rough.[(((triple9 triple6 triple8) -> rule5))] @2: Harry is young.[(((triple8 ((triple9 triple6 triple8) -> rule5) triple5) -> rule3))] @3: Harry is red.[(((((triple8 ((triple9 triple6 triple8) -> rule5) triple5) -> rule3) ((triple9 triple6 triple8) -> rule5) triple8) -> rule4))]
Eric is cold.
("Eric" "is" "cold" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
((triple9 triple6 triple8) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple8 ((triple9 triple6 triple8) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((triple8 ((triple9 triple6 triple8) -> (rule5 % int3)) triple5) -> (rule3 % int2)) ((triple9 triple6 triple8) -> (rule5 % int3)) triple8) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
In the snow sits Eric, crying from being cold.
Fred wears all blue.
Gary looks red to most people, with blue features.
Harry is generally considered to be a round guy; People consider him kind, although a bit on the cold side; He's also both green and blue.
Someone who looks rough and feels cold is also kind to others.
Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner.
Whenever somebody can be described as rough, round and cold, they can also be described as young.
A young person with cold, rough skin will be red as well.
Blue, kind, and cold people are habitually rough.