Alan has become rough with permanent red skin from working outdoors for so many years.  He always feels cold.  He is kind to both people and animals. Fred is a person both green and big. Gary wears all blue. Harry is young and a bit big and round. He acts cold towards skinny people because he is green with envy. A depressed person feeling blue who is kind cannot escape from being green. A person with a rough quality is also a person with a blue quality. As far as anyone can tell, whoever is kind, rough, and big is a round person. Being green, blue, and red all point to how young someone was. A person who is very round is nice but also quite rough.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and rough and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is round and nice then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Alan is cold.
True
1
proof
[(triple4)]
("Alan" "is" "cold" "+")
triple4
Alan is not red.
False
1
inv-proof
[(triple2)]
("Alan" "is" "red" "-")
triple2
Alan is blue.
True
2
proof
[(((triple1) -> rule2))]
("Alan" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
2
inv-proof
[(((triple1) -> rule2))]
("Alan" "is" "blue" "-")
((triple1) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
True
4
proof
[(((((triple1) -> rule2) triple3) -> rule1))]
("Alan" "is" "green" "+")
((((triple1) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is not green.
False
4
inv-proof
[(((((triple1) -> rule2) triple3) -> rule1))]
("Alan" "is" "green" "-")
((((triple1) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
True
8
proof
[(((((((triple1) -> rule2) triple3) -> rule1) ((triple1) -> rule2) triple2) -> rule4))]
("Alan" "is" "young" "+")
((((((triple1) -> (rule2 % int3)) triple3) -> (rule1 % int2)) ((triple1) -> (rule2 % int3)) triple2) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not young.
False
8
inv-proof
[(((((((triple1) -> rule2) triple3) -> rule1) ((triple1) -> rule2) triple2) -> rule4))]
("Alan" "is" "young" "-")
((((((triple1) -> (rule2 % int3)) triple3) -> (rule1 % int2)) ((triple1) -> (rule2 % int3)) triple2) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "young" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "rough" "+")
Harry is not blue.
Unknown
inv-rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Harry" "is" "blue" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "rough" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Alan is cold.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Fred is big.[(triple6)] Fred is green.[(triple5)] Gary is blue.[(triple7)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10)] Harry is round.[(triple9)] Harry is young.[(triple8)] @1: Alan is blue.[(((triple1) -> rule2))] @2: Alan is green.[(((((triple1) -> rule2) triple3) -> rule1))] @3: Alan is young.[(((((((triple1) -> rule2) triple3) -> rule1) ((triple1) -> rule2) triple2) -> rule4))]
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Alan is blue.
("Alan" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((((triple1) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((((triple1) -> (rule2 % int3)) triple3) -> (rule1 % int2)) ((triple1) -> (rule2 % int3)) triple2) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan has become rough with permanent red skin from working outdoors for so many years; He always feels cold; He is kind to both people and animals.
Fred is a person both green and big.
Gary wears all blue.
Harry is young and a bit big and round; He acts cold towards skinny people because he is green with envy.
A depressed person feeling blue who is kind cannot escape from being green.
A person with a rough quality is also a person with a blue quality.
As far as anyone can tell, whoever is kind, rough, and big is a round person.
Being green, blue, and red all point to how young someone was.
A person who is very round is nice but also quite rough.