Big, young Charlie is round from eating his mother's delicious cooking.  Charlie is kind to other children and often feels cold when he's outside.  Charlie gets a green tinge to his skin when he feels ill. Dave is a nice round guy, which leads to him being red. Gary is both young and fairly round in size. Harry was born only a few years ago so he is young. A red colored person who is kind and feels cold is usually considered nice. If a red and blue person is also kind to people that means they are rough as well. If a nice person is round shaped, they feel blue about it. A green person is going to be rough. A green and quite rough person will also be blue. A person that is the color red will definitely be round shaped. It's just a fact that a blue person is a kind person.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is red and kind and cold then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and blue and kind then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Dave is red.
True
1
proof
[(triple8)]
("Dave" "is" "red" "+")
triple8
Dave is not red.
False
1
inv-proof
[(triple8)]
("Dave" "is" "red" "-")
triple8
Dave is blue.
True
3
proof
[(((triple9 triple7) -> rule3) OR ((triple9 ((triple8) -> rule6)) -> rule3))]
("Dave" "is" "blue" "+")
((triple9 triple7) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple9 ((triple8) -> (rule6 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Charlie is not rough.
False
2
inv-proof
[(((triple4) -> rule4))]
("Charlie" "is" "rough" "-")
((triple4) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
True
4
proof
[(((((triple4) -> rule4) triple4) -> rule5))]
("Charlie" "is" "blue" "+")
((((triple4) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not blue.
False
4
inv-proof
[(((((triple4) -> rule4) triple4) -> rule5))]
("Charlie" "is" "blue" "-")
((((triple4) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Dave is rough.
True
9
proof
[(((triple8 ((triple9 triple7) -> rule3) ((((triple9 triple7) -> rule3)) -> rule7)) -> rule2) OR ((triple8 ((triple9 ((triple8) -> rule6)) -> rule3) ((((triple9 triple7) -> rule3)) -> rule7)) -> rule2) OR ((triple8 ((triple9 triple7) -> rule3) ((((triple9 ((triple8) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((triple8 ((triple9 ((triple8) -> rule6)) -> rule3) ((((triple9 ((triple8) -> rule6)) -> rule3)) -> rule7)) -> rule2))]
("Dave" "is" "rough" "+")
((triple8 ((triple9 triple7) -> (rule3 % int3)) ((((triple9 triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple8 ((triple9 ((triple8) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple9 triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple8 ((triple9 triple7) -> (rule3 % int4)) ((((triple9 ((triple8) -> (rule6 % int3))) -> (rule3 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple8 ((triple9 ((triple8) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple9 ((triple8) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is not rough.
False
9
inv-proof
[(((triple8 ((triple9 triple7) -> rule3) ((((triple9 triple7) -> rule3)) -> rule7)) -> rule2) OR ((triple8 ((triple9 ((triple8) -> rule6)) -> rule3) ((((triple9 triple7) -> rule3)) -> rule7)) -> rule2) OR ((triple8 ((triple9 triple7) -> rule3) ((((triple9 ((triple8) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((triple8 ((triple9 ((triple8) -> rule6)) -> rule3) ((((triple9 ((triple8) -> rule6)) -> rule3)) -> rule7)) -> rule2))]
("Dave" "is" "rough" "-")
((triple8 ((triple9 triple7) -> (rule3 % int3)) ((((triple9 triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple8 ((triple9 ((triple8) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple9 triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple8 ((triple9 triple7) -> (rule3 % int4)) ((((triple9 ((triple8) -> (rule6 % int3))) -> (rule3 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple8 ((triple9 ((triple8) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple9 ((triple8) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Harry is not blue.
Unknown
inv-rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Harry" "is" "blue" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "-")
Harry is kind.
Unknown
rconc
[@3: Harry is kind.[CWA. Example of deepest failure = (rule7 <- rule3 <- rule1 <- FAIL)]]
("Harry" "is" "kind" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is big.[(triple6)] Charlie is cold.[(triple5)] Charlie is green.[(triple4)] Charlie is kind.[(triple3 OR ((((((triple4) -> rule4) triple4) -> rule5)) -> rule7))] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is nice.[(triple9)] Dave is red.[(triple8)] Dave is round.[(triple7 OR ((triple8) -> rule6))] Gary is round.[(triple11)] Gary is young.[(triple10)] Harry is young.[(triple12)] @1: Charlie is rough.[(((triple4) -> rule4))] Dave is blue.[(((triple9 triple7) -> rule3) OR ((triple9 ((triple8) -> rule6)) -> rule3))] @2: Charlie is blue.[(((((triple4) -> rule4) triple4) -> rule5))] Dave is kind.[(((((triple9 triple7) -> rule3)) -> rule7) OR ((((triple9 ((triple8) -> rule6)) -> rule3)) -> rule7))] @3: Dave is rough.[(((triple8 ((triple9 triple7) -> rule3) ((((triple9 triple7) -> rule3)) -> rule7)) -> rule2) OR ((triple8 ((triple9 ((triple8) -> rule6)) -> rule3) ((((triple9 triple7) -> rule3)) -> rule7)) -> rule2) OR ((triple8 ((triple9 triple7) -> rule3) ((((triple9 ((triple8) -> rule6)) -> rule3)) -> rule7)) -> rule2) OR ((triple8 ((triple9 ((triple8) -> rule6)) -> rule3) ((((triple9 ((triple8) -> rule6)) -> rule3)) -> rule7)) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
((((((triple4) -> (rule4 % int3)) triple4) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
((triple8) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple12
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple4) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple9 triple7) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple9 ((triple8) -> (rule6 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple4) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((((triple9 triple7) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple9 ((triple8) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((triple8 ((triple9 triple7) -> (rule3 % int3)) ((((triple9 triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple8 ((triple9 ((triple8) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple9 triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple8 ((triple9 triple7) -> (rule3 % int4)) ((((triple9 ((triple8) -> (rule6 % int3))) -> (rule3 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple8 ((triple9 ((triple8) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple9 ((triple8) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Big, young Charlie is round from eating his mother's delicious cooking; Charlie is kind to other children and often feels cold when he's outside; Charlie gets a green tinge to his skin when he feels ill.
Dave is a nice round guy, which leads to him being red.
Gary is both young and fairly round in size.
Harry was born only a few years ago so he is young.
A red colored person who is kind and feels cold is usually considered nice.
If a red and blue person is also kind to people that means they are rough as well.
If a nice person is round shaped, they feel blue about it.
A green person is going to be rough.
A green and quite rough person will also be blue.
A person that is the color red will definitely be round shaped.
It's just a fact that a blue person is a kind person.