In the snow sits Charlie, crying from being cold. Dave is a rough man with a big heart who has red hair and a nice smile. Eric is a nice, kind young man.  Eric keeps a sweater with him because he is always cold. Harry was born only a few years ago so he is young. I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion. Don't be surprised to hear that all nice, kind folks are in fact rough. When you know someone who is young and green you can count on them being nice to everyone. There are so many rough, young people and for some reason they are all big too. People who are young and green are also kind. People who are nice, big, and also rough, are considered red. Those who are round and cold are young.
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is blue and nice and green then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and green then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is young and green then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and big and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Harry is young.
True
1
proof
[(triple10)]
("Harry" "is" "young" "+")
triple10
Dave is not nice.
False
1
inv-proof
[(triple4)]
("Dave" "is" "nice" "-")
triple4
Eric is rough.
True
3
proof
[(((triple7 triple8) -> rule2))]
("Eric" "is" "rough" "+")
((triple7 triple8) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not rough.
False
3
inv-proof
[(((triple7 triple8) -> rule2))]
("Eric" "is" "rough" "-")
((triple7 triple8) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is big.
True
5
proof
[(((triple6 ((triple7 triple8) -> rule2)) -> rule4))]
("Eric" "is" "big" "+")
((triple6 ((triple7 triple8) -> (rule2 % int2))) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not big.
False
5
inv-proof
[(((triple6 ((triple7 triple8) -> rule2)) -> rule4))]
("Eric" "is" "big" "-")
((triple6 ((triple7 triple8) -> (rule2 % int2))) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is red.
True
10
proof
[(((triple7 ((triple6 ((triple7 triple8) -> rule2)) -> rule4) ((triple7 triple8) -> rule2)) -> rule6))]
("Eric" "is" "red" "+")
((triple7 ((triple6 ((triple7 triple8) -> (rule2 % int3))) -> (rule4 % int2)) ((triple7 triple8) -> (rule2 % int3))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not red.
False
10
inv-proof
[(((triple7 ((triple6 ((triple7 triple8) -> rule2)) -> rule4) ((triple7 triple8) -> rule2)) -> rule6))]
("Eric" "is" "red" "-")
((triple7 ((triple6 ((triple7 triple8) -> (rule2 % int3))) -> (rule4 % int2)) ((triple7 triple8) -> (rule2 % int3))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Harry is not red.
Unknown
inv-rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is big.
Unknown
rconc
[@3: Harry is big.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule3 <- FAIL)]]
("Harry" "is" "big" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is rough.
Unknown
rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Charlie is cold.[(triple1)] Dave is big.[(triple5)] Dave is nice.[(triple4)] Dave is red.[(triple3 OR ((triple4 triple5 triple2) -> rule6))] Dave is rough.[(triple2)] Eric is cold.[(triple9)] Eric is kind.[(triple8)] Eric is nice.[(triple7)] Eric is young.[(triple6)] Harry is young.[(triple10)] @1: Eric is rough.[(((triple7 triple8) -> rule2))] @2: Eric is big.[(((triple6 ((triple7 triple8) -> rule2)) -> rule4))] @3: Eric is red.[(((triple7 ((triple6 ((triple7 triple8) -> rule2)) -> rule4) ((triple7 triple8) -> rule2)) -> rule6))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
((triple4 triple5 triple2) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple10
Eric is rough.
("Eric" "is" "rough" "+")
((triple7 triple8) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple6 ((triple7 triple8) -> (rule2 % int2))) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((triple7 ((triple6 ((triple7 triple8) -> (rule2 % int3))) -> (rule4 % int2)) ((triple7 triple8) -> (rule2 % int3))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
In the snow sits Charlie, crying from being cold.
Dave is a rough man with a big heart who has red hair and a nice smile.
Eric is a nice, kind young man; Eric keeps a sweater with him because he is always cold.
Harry was born only a few years ago so he is young.
I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion.
Don't be surprised to hear that all nice, kind folks are in fact rough.
When you know someone who is young and green you can count on them being nice to everyone.
There are so many rough, young people and for some reason they are all big too.
People who are young and green are also kind.
People who are nice, big, and also rough, are considered red.
Those who are round and cold are young.