Charlie's a young guy. He's a cold, blue and big guy, too. Eric wears all blue. Gary is so big, he is often blue, but always kind. People think Harry is nice and kind for someone so young.  Harry wears his favorite color green all the time. This person is nice and young, also round, which makes them cold. Almost all of the young blue and red people I have seen are big as well. Green people will be nice even when they have been rough. A big person that is tattooed blue will be very nice. A nice and young aged person will definitely be green in color.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is young and nice and round then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and blue and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is green and nice then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and blue then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and young then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Harry is nice.
True
1
proof
[(triple10)]
("Harry" "is" "nice" "+")
triple10
Charlie is not big.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "big" "-")
triple4
Charlie is nice.
True
3
proof
[(((triple4 triple3) -> rule4))]
("Charlie" "is" "nice" "+")
((triple4 triple3) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple8 triple7) -> rule4))]
("Gary" "is" "nice" "-")
((triple8 triple7) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Charlie is green.
True
5
proof
[(((((triple4 triple3) -> rule4) triple1) -> rule5))]
("Charlie" "is" "green" "+")
((((triple4 triple3) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not green.
False
5
inv-proof
[(((((triple4 triple3) -> rule4) triple1) -> rule5))]
("Charlie" "is" "green" "-")
((((triple4 triple3) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
True
9
proof
[(((((((triple4 triple3) -> rule4) triple1) -> rule5) ((triple4 triple3) -> rule4)) -> rule3))]
("Charlie" "is" "rough" "+")
((((((triple4 triple3) -> (rule4 % int3)) triple1) -> (rule5 % int2)) ((triple4 triple3) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not rough.
False
9
inv-proof
[(((((((triple4 triple3) -> rule4) triple1) -> rule5) ((triple4 triple3) -> rule4)) -> rule3))]
("Charlie" "is" "rough" "-")
((((((triple4 triple3) -> (rule4 % int3)) triple1) -> (rule5 % int2)) ((triple4 triple3) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is rough.
Unknown
rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Gary" "is" "rough" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "cold" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "green" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Charlie is big.[(triple4)] Charlie is blue.[(triple3)] Charlie is cold.[(triple2)] Charlie is young.[(triple1)] Eric is blue.[(triple5)] Gary is big.[(triple8)] Gary is blue.[(triple7)] Gary is kind.[(triple6)] Harry is green.[(triple12 OR ((triple10 triple9) -> rule5))] Harry is kind.[(triple11)] Harry is nice.[(triple10)] Harry is young.[(triple9)] @1: Charlie is nice.[(((triple4 triple3) -> rule4))] Gary is nice.[(((triple8 triple7) -> rule4))] Harry is rough.[(((triple12 triple10) -> rule3) OR ((((triple10 triple9) -> rule5) triple10) -> rule3))] @2: Charlie is green.[(((((triple4 triple3) -> rule4) triple1) -> rule5))] @3: Charlie is rough.[(((((((triple4 triple3) -> rule4) triple1) -> rule5) ((triple4 triple3) -> rule4)) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple12
((triple10 triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4 triple3) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple8 triple7) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple12 triple10) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple10 triple9) -> (rule5 % int2)) triple10) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((triple4 triple3) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((((triple4 triple3) -> (rule4 % int3)) triple1) -> (rule5 % int2)) ((triple4 triple3) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie's a young guy; He's a cold, blue and big guy, too.
Eric wears all blue.
Gary is so big, he is often blue, but always kind.
People think Harry is nice and kind for someone so young; Harry wears his favorite color green all the time.
This person is nice and young, also round, which makes them cold.
Almost all of the young blue and red people I have seen are big as well.
Green people will be nice even when they have been rough.
A big person that is tattooed blue will be very nice.
A nice and young aged person will definitely be green in color.