Charlie is young and big in stature.  He is cold but nice. Dave was born only a few years ago so he is young. Fred gets red when he is mad and tends to act very cold. Harry is a very rough person. As expected, he's also a very cold and big individual. Being a young, round and kind individual means that you are also a blue individual. There could be a round someone with red hair wearing blue pants. A person with big hair and rough lips is certainly young and jaded. A young, cold person is often blue. Young people are rough. Nice people who are looking green and seeing red usually feel rather rough. Being big and blue is standard for being green.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is young and round and kind then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and round then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and young then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and blue then they are green.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Fred is cold.
True
1
proof
[(triple7)]
("Fred" "is" "cold" "+")
triple7
Charlie is not nice.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "nice" "-")
triple2
Dave is rough.
True
2
proof
[(((triple5) -> rule5))]
("Dave" "is" "rough" "+")
((triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Harry is not young.
False
3
inv-proof
[(((triple8 triple10) -> rule3))]
("Harry" "is" "young" "-")
((triple8 triple10) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Charlie is green.
True
5
proof
[(((triple4 ((triple3 triple1) -> rule4)) -> rule7))]
("Charlie" "is" "green" "+")
((triple4 ((triple3 triple1) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not green.
False
5
inv-proof
[(((triple4 ((triple3 triple1) -> rule4)) -> rule7))]
("Charlie" "is" "green" "-")
((triple4 ((triple3 triple1) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Harry is green.
True
7
proof
[(((triple10 ((triple9 ((triple8 triple10) -> rule3)) -> rule4)) -> rule7))]
("Harry" "is" "green" "+")
((triple10 ((triple9 ((triple8 triple10) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not green.
False
7
inv-proof
[(((triple10 ((triple9 ((triple8 triple10) -> rule3)) -> rule4)) -> rule7))]
("Harry" "is" "green" "-")
((triple10 ((triple9 ((triple8 triple10) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Fred is rough.
Unknown
rconc
[@2: Fred is rough.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Fred" "is" "rough" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "young" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "green" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Charlie is big.[(triple4)] Charlie is cold.[(triple3)] Charlie is nice.[(triple2)] Charlie is young.[(triple1)] Dave is young.[(triple5)] Fred is cold.[(triple7)] Fred is red.[(triple6)] Harry is big.[(triple10)] Harry is cold.[(triple9)] Harry is rough.[(triple8)] @1: Charlie is blue.[(((triple3 triple1) -> rule4))] Charlie is rough.[(((triple1) -> rule5))] Dave is rough.[(((triple5) -> rule5))] Harry is young.[(((triple8 triple10) -> rule3))] @2: Charlie is green.[(((triple4 ((triple3 triple1) -> rule4)) -> rule7))] Harry is blue.[(((triple9 ((triple8 triple10) -> rule3)) -> rule4))] @3: Harry is green.[(((triple10 ((triple9 ((triple8 triple10) -> rule3)) -> rule4)) -> rule7))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple5
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple3 triple1) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple8 triple10) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple4 ((triple3 triple1) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple9 ((triple8 triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((triple10 ((triple9 ((triple8 triple10) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Charlie is young and big in stature; He is cold but nice.
Dave was born only a few years ago so he is young.
Fred gets red when he is mad and tends to act very cold.
Harry is a very rough person; As expected, he's also a very cold and big individual.
Being a young, round and kind individual means that you are also a blue individual.
There could be a round someone with red hair wearing blue pants.
A person with big hair and rough lips is certainly young and jaded.
A young, cold person is often blue.
Young people are rough.
Nice people who are looking green and seeing red usually feel rather rough.
Being big and blue is standard for being green.