In the snow sits Alan, crying from being cold. Charlie has rough skin that is tinged with both red and green.  He has a round shape and is nice to everyone he meets. Dave is known to be rough and green. Upon meeting Fred, you'll notice he's green and kind. A rough and kind person is big. A round shaped and rough person will be blue as well. Looking blue can be a sign that someone is cold. When a person is blue, cold, and nice, they are also pretty young too. If somebody has the characteristics of being blue, rough and green, they are also going to be cold.
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is kind and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and cold and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough and green then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Charlie is red.
True
1
proof
[(triple4)]
("Charlie" "is" "red" "+")
triple4
Charlie is not nice.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "nice" "-")
triple5
Charlie is blue.
True
3
proof
[(((triple3 triple2) -> rule2))]
("Charlie" "is" "blue" "+")
((triple3 triple2) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
3
inv-proof
[(((triple3 triple2) -> rule2))]
("Charlie" "is" "blue" "-")
((triple3 triple2) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
True
4
proof
[(((((triple3 triple2) -> rule2)) -> rule3) OR ((((triple3 triple2) -> rule2) triple3 triple6) -> rule5))]
("Charlie" "is" "cold" "+")
((((triple3 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple3 triple2) -> (rule2 % int2)) triple3 triple6) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not cold.
False
4
inv-proof
[(((((triple3 triple2) -> rule2)) -> rule3) OR ((((triple3 triple2) -> rule2) triple3 triple6) -> rule5))]
("Charlie" "is" "cold" "-")
((((triple3 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple3 triple2) -> (rule2 % int2)) triple3 triple6) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
True
9
proof
[(((((triple3 triple2) -> rule2) ((((triple3 triple2) -> rule2)) -> rule3) triple5) -> rule4) OR ((((triple3 triple2) -> rule2) ((((triple3 triple2) -> rule2) triple3 triple6) -> rule5) triple5) -> rule4))]
("Charlie" "is" "young" "+")
((((triple3 triple2) -> (rule2 % int3)) ((((triple3 triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple3 triple2) -> (rule2 % int3)) ((((triple3 triple2) -> (rule2 % int3)) triple3 triple6) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not young.
False
9
inv-proof
[(((((triple3 triple2) -> rule2) ((((triple3 triple2) -> rule2)) -> rule3) triple5) -> rule4) OR ((((triple3 triple2) -> rule2) ((((triple3 triple2) -> rule2) triple3 triple6) -> rule5) triple5) -> rule4))]
("Charlie" "is" "young" "-")
((((triple3 triple2) -> (rule2 % int3)) ((((triple3 triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple3 triple2) -> (rule2 % int3)) ((((triple3 triple2) -> (rule2 % int3)) triple3 triple6) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "big" "+")
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "young" "-")
Fred is cold.
Unknown
rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Fred" "is" "cold" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
@0: Alan is cold.[(triple1)] Charlie is green.[(triple6)] Charlie is nice.[(triple5)] Charlie is red.[(triple4)] Charlie is rough.[(triple3)] Charlie is round.[(triple2)] Dave is green.[(triple8)] Dave is rough.[(triple7)] Fred is green.[(triple10)] Fred is kind.[(triple9)] @1: Charlie is blue.[(((triple3 triple2) -> rule2))] @2: Charlie is cold.[(((((triple3 triple2) -> rule2)) -> rule3) OR ((((triple3 triple2) -> rule2) triple3 triple6) -> rule5))] @3: Charlie is young.[(((((triple3 triple2) -> rule2) ((((triple3 triple2) -> rule2)) -> rule3) triple5) -> rule4) OR ((((triple3 triple2) -> rule2) ((((triple3 triple2) -> rule2) triple3 triple6) -> rule5) triple5) -> rule4))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple3 triple2) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple3 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple3 triple2) -> (rule2 % int2)) triple3 triple6) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((triple3 triple2) -> (rule2 % int3)) ((((triple3 triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple3 triple2) -> (rule2 % int3)) ((((triple3 triple2) -> (rule2 % int3)) triple3 triple6) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
In the snow sits Alan, crying from being cold.
Charlie has rough skin that is tinged with both red and green; He has a round shape and is nice to everyone he meets.
Dave is known to be rough and green.
Upon meeting Fred, you'll notice he's green and kind.
A rough and kind person is big.
A round shaped and rough person will be blue as well.
Looking blue can be a sign that someone is cold.
When a person is blue, cold, and nice, they are also pretty young too.
If somebody has the characteristics of being blue, rough and green, they are also going to be cold.