Alan is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish. Young Charlie is big and round from his mother's good cooking.  Charlie is the kind of kid who is nice and kind to everyone and who is red with a sunburn. 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. A big young person that is green will be cold to others. Red and round people are nice to others even though they are big. People that feel green are cold to people that try to help them. Someone with the traits of being cold and red is also going to be someone who is big. Being big and blue is standard for being green. When a round individual is nice to others, they are also feeling blue.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
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 green and young and big then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and round and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is big and blue then they are green.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is round and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Alan is kind.
True
1
proof
[(triple3)]
("Alan" "is" "kind" "+")
triple3
Charlie is not young.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "young" "-")
triple5
Alan is cold.
True
2
proof
[(((triple4) -> rule4))]
("Alan" "is" "cold" "+")
((triple4) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is not cold.
False
2
inv-proof
[(((triple4) -> rule4))]
("Alan" "is" "cold" "-")
((triple4) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is big.
True
4
proof
[(((((triple4) -> rule4) triple2) -> rule5))]
("Alan" "is" "big" "+")
((((triple4) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not big.
False
4
inv-proof
[(((((triple4) -> rule4) triple2) -> rule5))]
("Alan" "is" "big" "-")
((((triple4) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Charlie is cold.
True
6
proof
[(((((triple10 ((triple6 triple8) -> rule7)) -> rule6)) -> rule4) OR ((((triple10 ((triple6 triple8) -> rule7)) -> rule6) triple5 triple10) -> rule2) OR ((((((triple8 triple6 triple7) -> rule3) ((triple6 triple8) -> rule7)) -> rule6)) -> rule4) OR ((((triple10 ((triple6 triple8) -> rule7)) -> rule6) triple5 ((triple8 triple6 triple7) -> rule3)) -> rule2) OR ((((((triple8 triple6 triple7) -> rule3) ((triple6 triple8) -> rule7)) -> rule6) triple5 triple10) -> rule2) OR ((((((triple8 triple6 triple7) -> rule3) ((triple6 triple8) -> rule7)) -> rule6) triple5 ((triple8 triple6 triple7) -> rule3)) -> rule2))]
("Charlie" "is" "cold" "+")
((((triple10 ((triple6 triple8) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple10 ((triple6 triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple5 triple10) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple8 triple6 triple7) -> (rule3 % int4)) ((triple6 triple8) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple10 ((triple6 triple8) -> (rule7 % int4))) -> (rule6 % int3)) triple5 ((triple8 triple6 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple8 triple6 triple7) -> (rule3 % int4)) ((triple6 triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple5 triple10) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple8 triple6 triple7) -> (rule3 % int4)) ((triple6 triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple5 ((triple8 triple6 triple7) -> (rule3 % int4))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is not cold.
False
6
inv-proof
[(((((triple10 ((triple6 triple8) -> rule7)) -> rule6)) -> rule4) OR ((((triple10 ((triple6 triple8) -> rule7)) -> rule6) triple5 triple10) -> rule2) OR ((((((triple8 triple6 triple7) -> rule3) ((triple6 triple8) -> rule7)) -> rule6)) -> rule4) OR ((((triple10 ((triple6 triple8) -> rule7)) -> rule6) triple5 ((triple8 triple6 triple7) -> rule3)) -> rule2) OR ((((((triple8 triple6 triple7) -> rule3) ((triple6 triple8) -> rule7)) -> rule6) triple5 triple10) -> rule2) OR ((((((triple8 triple6 triple7) -> rule3) ((triple6 triple8) -> rule7)) -> rule6) triple5 ((triple8 triple6 triple7) -> rule3)) -> rule2))]
("Charlie" "is" "cold" "-")
((((triple10 ((triple6 triple8) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple10 ((triple6 triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple5 triple10) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple8 triple6 triple7) -> (rule3 % int4)) ((triple6 triple8) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple10 ((triple6 triple8) -> (rule7 % int4))) -> (rule6 % int3)) triple5 ((triple8 triple6 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple8 triple6 triple7) -> (rule3 % int4)) ((triple6 triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple5 triple10) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple8 triple6 triple7) -> (rule3 % int4)) ((triple6 triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple5 ((triple8 triple6 triple7) -> (rule3 % int4))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "blue" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "blue" "+")
Fred is not green.
Unknown
inv-rconc
[@2: Fred is green.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Fred" "is" "green" "-")
Dave is green.
Unknown
rconc
[@2: Dave is green.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Dave" "is" "green" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple10 OR ((triple8 triple6 triple7) -> rule3))] Charlie is kind.[(triple9)] Charlie is nice.[(triple8)] Charlie is red.[(triple7 OR ((((triple6 triple8) -> rule7) triple8 ((triple10 ((triple6 triple8) -> rule7)) -> rule6)) -> rule1))] Charlie is round.[(triple6)] Charlie is young.[(triple5)] @1: Alan is cold.[(((triple4) -> rule4))] Charlie is blue.[(((triple6 triple8) -> rule7))] @2: Alan is big.[(((((triple4) -> rule4) triple2) -> rule5))] Charlie is green.[(((triple10 ((triple6 triple8) -> rule7)) -> rule6) OR ((((triple8 triple6 triple7) -> rule3) ((triple6 triple8) -> rule7)) -> rule6))] @3: Charlie is cold.[(((((triple10 ((triple6 triple8) -> rule7)) -> rule6)) -> rule4) OR ((((triple10 ((triple6 triple8) -> rule7)) -> rule6) triple5 triple10) -> rule2) OR ((((((triple8 triple6 triple7) -> rule3) ((triple6 triple8) -> rule7)) -> rule6)) -> rule4) OR ((((triple10 ((triple6 triple8) -> rule7)) -> rule6) triple5 ((triple8 triple6 triple7) -> rule3)) -> rule2) OR ((((((triple8 triple6 triple7) -> rule3) ((triple6 triple8) -> rule7)) -> rule6) triple5 triple10) -> rule2) OR ((((((triple8 triple6 triple7) -> rule3) ((triple6 triple8) -> rule7)) -> rule6) triple5 ((triple8 triple6 triple7) -> rule3)) -> rule2))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple10
((triple8 triple6 triple7) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple9
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
triple7
((((triple6 triple8) -> (rule7 % int3)) triple8 ((triple10 ((triple6 triple8) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Alan is cold.
("Alan" "is" "cold" "+")
((triple4) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple6 triple8) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
((((triple4) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((triple10 ((triple6 triple8) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple8 triple6 triple7) -> (rule3 % int3)) ((triple6 triple8) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple10 ((triple6 triple8) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple10 ((triple6 triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple5 triple10) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple8 triple6 triple7) -> (rule3 % int4)) ((triple6 triple8) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple10 ((triple6 triple8) -> (rule7 % int4))) -> (rule6 % int3)) triple5 ((triple8 triple6 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple8 triple6 triple7) -> (rule3 % int4)) ((triple6 triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple5 triple10) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple8 triple6 triple7) -> (rule3 % int4)) ((triple6 triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple5 ((triple8 triple6 triple7) -> (rule3 % int4))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Alan is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish.
Young Charlie is big and round from his mother's good cooking; Charlie is the kind of kid who is nice and kind to everyone and who is red with a sunburn.
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.
A big young person that is green will be cold to others.
Red and round people are nice to others even though they are big.
People that feel green are cold to people that try to help them.
Someone with the traits of being cold and red is also going to be someone who is big.
Being big and blue is standard for being green.
When a round individual is nice to others, they are also feeling blue.