In the snow sits Alan, crying from being cold. Charlie is a young and nice man, and he is also very big shaped. Dave is a big young guy who is always nice even when feeling cold or blue.  Today however he is looking green due to being ill. Red Eric is what folks call him, because he is quite red. If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body. I've noticed that someone with a round shape is also green. Big people are also round people. A green person is going to be rough. People who are rough are often rather kind as well.
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
If someone is kind and cold and red then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Dave is young.
True
1
proof
[(triple5)]
("Dave" "is" "young" "+")
triple5
Dave is not cold.
False
1
inv-proof
[(triple8)]
("Dave" "is" "cold" "-")
triple8
Charlie is round.
True
2
proof
[(((triple4) -> rule3))]
("Charlie" "is" "round" "+")
((triple4) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple4) -> rule3))]
("Charlie" "is" "round" "-")
((triple4) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
True
3
proof
[(((((triple4) -> rule3)) -> rule2))]
("Charlie" "is" "green" "+")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Dave is not kind.
False
3
inv-proof
[(((((triple7) -> rule4)) -> rule5) OR ((((((((triple10) -> rule3)) -> rule2)) -> rule4)) -> rule5))]
("Dave" "is" "kind" "-")
((((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((((((triple10) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Charlie is rough.
True
4
proof
[(((((((triple4) -> rule3)) -> rule2)) -> rule4))]
("Charlie" "is" "rough" "+")
((((((triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not rough.
False
4
inv-proof
[(((((((triple4) -> rule3)) -> rule2)) -> rule4))]
("Charlie" "is" "rough" "-")
((((((triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
True
5
proof
[(((((((((triple4) -> rule3)) -> rule2)) -> rule4)) -> rule5))]
("Charlie" "is" "kind" "+")
((((((((triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is not kind.
False
5
inv-proof
[(((((((((triple4) -> rule3)) -> rule2)) -> rule4)) -> rule5))]
("Charlie" "is" "kind" "-")
((((((((triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Alan is not green.
Unknown
inv-rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Alan" "is" "green" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "round" "+")
Alan is not kind.
Unknown
inv-rconc
[@4: Alan is kind.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule2 <- rule1 <- FAIL)]]
("Alan" "is" "kind" "-")
Eric is green.
Unknown
rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Eric" "is" "green" "+")
Alan is not rough.
Unknown
inv-rconc
[@3: Alan is rough.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule1 <- FAIL)]]
("Alan" "is" "rough" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Alan is cold.[(triple1)] Charlie is big.[(triple4)] Charlie is nice.[(triple3)] Charlie is young.[(triple2)] Dave is big.[(triple10)] Dave is blue.[(triple9)] Dave is cold.[(triple8)] Dave is green.[(triple7 OR ((((triple10) -> rule3)) -> rule2))] Dave is nice.[(triple6)] Dave is young.[(triple5)] Eric is red.[(triple11)] @1: Charlie is round.[(((triple4) -> rule3))] Dave is rough.[(((triple7) -> rule4) OR ((((((triple10) -> rule3)) -> rule2)) -> rule4))] Dave is round.[(((triple10) -> rule3))] @2: Charlie is green.[(((((triple4) -> rule3)) -> rule2))] Dave is kind.[(((((triple7) -> rule4)) -> rule5) OR ((((((((triple10) -> rule3)) -> rule2)) -> rule4)) -> rule5))] @3: Charlie is rough.[(((((((triple4) -> rule3)) -> rule2)) -> rule4))] @4: Charlie is kind.[(((((((((triple4) -> rule3)) -> rule2)) -> rule4)) -> rule5))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple7
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple11
Charlie is round.
("Charlie" "is" "round" "+")
((triple4) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple7) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((((triple10) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
((triple10) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((((((triple10) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
((((((triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((((((((triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
In the snow sits Alan, crying from being cold.
Charlie is a young and nice man, and he is also very big shaped.
Dave is a big young guy who is always nice even when feeling cold or blue; Today however he is looking green due to being ill.
Red Eric is what folks call him, because he is quite red.
If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body.
I've noticed that someone with a round shape is also green.
Big people are also round people.
A green person is going to be rough.
People who are rough are often rather kind as well.