Charlie is a round fellow, but he is kind, even when he is so cold he turns blue. Eric was born only a few years ago so he is young. Green eyed Gary is kind and nice. Since he is also big and round with rough skin he often turns red in the sun. Someone who has a a young round face is often rough around the edges. A young someone is red in thought but green in ideas. Red people feel blue about it. A person that is rough and round shaped features are going to be red. Take a drive and find a kind and blue driver, that means they are also young. They found the ones that were round, blue, and green to be nice.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and young then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and rough then they are red.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and blue then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is round and blue and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Charlie is cold.
True
1
proof
[(triple3)]
("Charlie" "is" "cold" "+")
triple3
Gary is not round.
False
1
inv-proof
[(triple6)]
("Gary" "is" "round" "-")
triple6
Gary is blue.
True
2
proof
[(((triple8) -> rule3) OR ((((triple6 triple7) -> rule4)) -> rule3))]
("Gary" "is" "blue" "+")
((triple8) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple6 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Charlie is not young.
False
3
inv-proof
[(((triple2 triple4) -> rule5))]
("Charlie" "is" "young" "-")
((triple2 triple4) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
True
5
proof
[(((triple1 ((triple2 triple4) -> rule5)) -> rule1))]
("Charlie" "is" "rough" "+")
((triple1 ((triple2 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Gary is not young.
False
4
inv-proof
[(((triple10 ((triple8) -> rule3)) -> rule5) OR ((triple10 ((((triple6 triple7) -> rule4)) -> rule3)) -> rule5))]
("Gary" "is" "young" "-")
((triple10 ((triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((triple10 ((((triple6 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Charlie is red.
True
7
proof
[(((triple1 ((triple1 ((triple2 triple4) -> rule5)) -> rule1)) -> rule4))]
("Charlie" "is" "red" "+")
((triple1 ((triple1 ((triple2 triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not red.
False
7
inv-proof
[(((triple1 ((triple1 ((triple2 triple4) -> rule5)) -> rule1)) -> rule4))]
("Charlie" "is" "red" "-")
((triple1 ((triple1 ((triple2 triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is green.
True
11
proof
[(((((triple1 ((triple1 ((triple2 triple4) -> rule5)) -> rule1)) -> rule4) ((triple2 triple4) -> rule5)) -> rule2))]
("Charlie" "is" "green" "+")
((((triple1 ((triple1 ((triple2 triple4) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple2 triple4) -> (rule5 % int4))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is not green.
False
11
inv-proof
[(((((triple1 ((triple1 ((triple2 triple4) -> rule5)) -> rule1)) -> rule4) ((triple2 triple4) -> rule5)) -> rule2))]
("Charlie" "is" "green" "-")
((((triple1 ((triple1 ((triple2 triple4) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple2 triple4) -> (rule5 % int4))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
True
14
proof
[(((triple1 triple4 ((((triple1 ((triple1 ((triple2 triple4) -> rule5)) -> rule1)) -> rule4) ((triple2 triple4) -> rule5)) -> rule2)) -> rule6))]
("Charlie" "is" "nice" "+")
((triple1 triple4 ((((triple1 ((triple1 ((triple2 triple4) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((triple2 triple4) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is not nice.
False
14
inv-proof
[(((triple1 triple4 ((((triple1 ((triple1 ((triple2 triple4) -> rule5)) -> rule1)) -> rule4) ((triple2 triple4) -> rule5)) -> rule2)) -> rule6))]
("Charlie" "is" "nice" "-")
((triple1 triple4 ((((triple1 ((triple1 ((triple2 triple4) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((triple2 triple4) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "red" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "nice" "+")
Eric is not green.
Unknown
inv-rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Eric" "is" "green" "-")
Dave is green.
Unknown
rconc
[@2: Dave is green.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Dave" "is" "green" "+")
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "red" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "nice" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Charlie is blue.[(triple4)] Charlie is cold.[(triple3)] Charlie is kind.[(triple2)] Charlie is round.[(triple1)] Eric is young.[(triple5)] Gary is big.[(triple12)] Gary is green.[(triple11 OR ((triple8 ((triple10 ((triple8) -> rule3)) -> rule5)) -> rule2) OR ((((triple6 triple7) -> rule4) ((triple10 ((triple8) -> rule3)) -> rule5)) -> rule2) OR ((triple8 ((triple10 ((((triple6 triple7) -> rule4)) -> rule3)) -> rule5)) -> rule2) OR ((((triple6 triple7) -> rule4) ((triple10 ((((triple6 triple7) -> rule4)) -> rule3)) -> rule5)) -> rule2))] Gary is kind.[(triple10)] Gary is nice.[(triple9 OR ((triple6 ((triple8) -> rule3) triple11) -> rule6) OR ((triple6 ((((triple6 triple7) -> rule4)) -> rule3) triple11) -> rule6) OR ((triple6 ((triple8) -> rule3) ((triple8 ((triple10 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((triple6 ((triple8) -> rule3) ((((triple6 triple7) -> rule4) ((triple10 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((triple6 ((((triple6 triple7) -> rule4)) -> rule3) ((triple8 ((triple10 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((triple6 ((((triple6 triple7) -> rule4)) -> rule3) ((((triple6 triple7) -> rule4) ((triple10 ((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((triple6 ((triple8) -> rule3) ((triple8 ((triple10 ((((triple6 triple7) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((triple6 ((triple8) -> rule3) ((((triple6 triple7) -> rule4) ((triple10 ((((triple6 triple7) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((triple6 ((((triple6 triple7) -> rule4)) -> rule3) ((triple8 ((triple10 ((((triple6 triple7) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule6) OR ((triple6 ((((triple6 triple7) -> rule4)) -> rule3) ((((triple6 triple7) -> rule4) ((triple10 ((((triple6 triple7) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule6))] Gary is red.[(triple8 OR ((triple6 triple7) -> rule4))] Gary is rough.[(triple7 OR ((triple6 ((triple10 ((triple8) -> rule3)) -> rule5)) -> rule1))] Gary is round.[(triple6)] @1: Charlie is young.[(((triple2 triple4) -> rule5))] Gary is blue.[(((triple8) -> rule3) OR ((((triple6 triple7) -> rule4)) -> rule3))] @2: Charlie is rough.[(((triple1 ((triple2 triple4) -> rule5)) -> rule1))] Gary is young.[(((triple10 ((triple8) -> rule3)) -> rule5) OR ((triple10 ((((triple6 triple7) -> rule4)) -> rule3)) -> rule5))] @3: Charlie is red.[(((triple1 ((triple1 ((triple2 triple4) -> rule5)) -> rule1)) -> rule4))] @4: Charlie is green.[(((((triple1 ((triple1 ((triple2 triple4) -> rule5)) -> rule1)) -> rule4) ((triple2 triple4) -> rule5)) -> rule2))] @5: Charlie is nice.[(((triple1 triple4 ((((triple1 ((triple1 ((triple2 triple4) -> rule5)) -> rule1)) -> rule4) ((triple2 triple4) -> rule5)) -> rule2)) -> rule6))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is young.
("Eric" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple11
((triple8 ((triple10 ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple6 triple7) -> (rule4 % int4)) ((triple10 ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((triple8 ((triple10 ((((triple6 triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple6 triple7) -> (rule4 % int4)) ((triple10 ((((triple6 triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
((triple6 ((triple8) -> (rule3 % int2)) triple11) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((triple6 ((((triple6 triple7) -> (rule4 % int3))) -> (rule3 % int2)) triple11) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((triple6 ((triple8) -> (rule3 % int4)) ((triple8 ((triple10 ((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple6 ((triple8) -> (rule3 % int5)) ((((triple6 triple7) -> (rule4 % int4)) ((triple10 ((triple8) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple6 ((((triple6 triple7) -> (rule4 % int5))) -> (rule3 % int4)) ((triple8 ((triple10 ((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((triple6 ((((triple6 triple7) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple6 triple7) -> (rule4 % int5)) ((triple10 ((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((triple6 ((triple8) -> (rule3 % int5)) ((triple8 ((triple10 ((((triple6 triple7) -> (rule4 % int4))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple6 ((triple8) -> (rule3 % int5)) ((((triple6 triple7) -> (rule4 % int4)) ((triple10 ((((triple6 triple7) -> (rule4 % int4))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple6 ((((triple6 triple7) -> (rule4 % int5))) -> (rule3 % int4)) ((triple8 ((triple10 ((((triple6 triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((triple6 ((((triple6 triple7) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple6 triple7) -> (rule4 % int5)) ((triple10 ((((triple6 triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
triple8
((triple6 triple7) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple7
((triple6 ((triple10 ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
((triple2 triple4) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple8) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple6 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1 ((triple2 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple10 ((triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((triple10 ((((triple6 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((triple1 ((triple1 ((triple2 triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((triple1 ((triple1 ((triple2 triple4) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple2 triple4) -> (rule5 % int4))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1 triple4 ((((triple1 ((triple1 ((triple2 triple4) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((triple2 triple4) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is a round fellow, but he is kind, even when he is so cold he turns blue.
Eric was born only a few years ago so he is young.
Green eyed Gary is kind and nice; Since he is also big and round with rough skin he often turns red in the sun.
Someone who has a a young round face is often rough around the edges.
A young someone is red in thought but green in ideas.
Red people feel blue about it.
A person that is rough and round shaped features are going to be red.
Take a drive and find a kind and blue driver, that means they are also young.
They found the ones that were round, blue, and green to be nice.