Because Bob, who is young, loves to eat he is quite round.  Sometimes that makes him feel blue and get rough with people who make fun of him.  But he is actually quite kind. Charlie is both big and round, with blue features. Young Dave got into a fight that left him with red sores on his face. Eric was born only a few years ago so he is young. Red people who are also kind often turn out to be cold from standing outdoors too long. A round someone could be blue and round but maybe red. If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body. Young people that are cold and round are necessarily big. If a person is quite big and also round then they are certainly rough too. Nobody who is round and rough and big can keep themselves from being nice.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Eric is young.
("Eric" "is" "young" "+")
If someone is kind and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and cold and red then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and round and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and rough and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Charlie is round.
True
1
proof
[(triple6)]
("Charlie" "is" "round" "+")
triple6
Bob is not blue.
False
1
inv-proof
[(triple5)]
("Bob" "is" "blue" "-")
triple5
Bob is red.
True
3
proof
[(((triple2 triple5) -> rule2))]
("Bob" "is" "red" "+")
((triple2 triple5) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
3
inv-proof
[(((triple2 triple5) -> rule2))]
("Bob" "is" "red" "-")
((triple2 triple5) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Charlie is nice.
True
6
proof
[(((triple6 ((triple8 triple6) -> rule5) triple8) -> rule6))]
("Charlie" "is" "nice" "+")
((triple6 ((triple8 triple6) -> (rule5 % int2)) triple8) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not nice.
False
6
inv-proof
[(((triple6 ((triple8 triple6) -> rule5) triple8) -> rule6))]
("Charlie" "is" "nice" "-")
((triple6 ((triple8 triple6) -> (rule5 % int2)) triple8) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Bob is big.
True
8
proof
[(((((triple4 ((triple2 triple5) -> rule2)) -> rule1) triple2 triple1) -> rule4))]
("Bob" "is" "big" "+")
((((triple4 ((triple2 triple5) -> (rule2 % int3))) -> (rule1 % int2)) triple2 triple1) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not big.
False
8
inv-proof
[(((((triple4 ((triple2 triple5) -> rule2)) -> rule1) triple2 triple1) -> rule4))]
("Bob" "is" "big" "-")
((((triple4 ((triple2 triple5) -> (rule2 % int3))) -> (rule1 % int2)) triple2 triple1) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
True
11
proof
[(((triple2 triple3 ((((triple4 ((triple2 triple5) -> rule2)) -> rule1) triple2 triple1) -> rule4)) -> rule6) OR ((triple2 ((((((triple4 ((triple2 triple5) -> rule2)) -> rule1) triple2 triple1) -> rule4) triple2) -> rule5) ((((triple4 ((triple2 triple5) -> rule2)) -> rule1) triple2 triple1) -> rule4)) -> rule6))]
("Bob" "is" "nice" "+")
((triple2 triple3 ((((triple4 ((triple2 triple5) -> (rule2 % int4))) -> (rule1 % int3)) triple2 triple1) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple2 ((((((triple4 ((triple2 triple5) -> (rule2 % int5))) -> (rule1 % int4)) triple2 triple1) -> (rule4 % int3)) triple2) -> (rule5 % int2)) ((((triple4 ((triple2 triple5) -> (rule2 % int5))) -> (rule1 % int4)) triple2 triple1) -> (rule4 % int3))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is not nice.
False
11
inv-proof
[(((triple2 triple3 ((((triple4 ((triple2 triple5) -> rule2)) -> rule1) triple2 triple1) -> rule4)) -> rule6) OR ((triple2 ((((((triple4 ((triple2 triple5) -> rule2)) -> rule1) triple2 triple1) -> rule4) triple2) -> rule5) ((((triple4 ((triple2 triple5) -> rule2)) -> rule1) triple2 triple1) -> rule4)) -> rule6))]
("Bob" "is" "nice" "-")
((triple2 triple3 ((((triple4 ((triple2 triple5) -> (rule2 % int4))) -> (rule1 % int3)) triple2 triple1) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple2 ((((((triple4 ((triple2 triple5) -> (rule2 % int5))) -> (rule1 % int4)) triple2 triple1) -> (rule4 % int3)) triple2) -> (rule5 % int2)) ((((triple4 ((triple2 triple5) -> (rule2 % int5))) -> (rule1 % int4)) triple2 triple1) -> (rule4 % int3))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "red" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Eric is nice.
Unknown
rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Eric" "is" "nice" "+")
Dave is not rough.
Unknown
inv-rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Dave" "is" "rough" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Bob is blue.[(triple5)] Bob is kind.[(triple4)] Bob is rough.[(triple3 OR ((((((triple4 ((triple2 triple5) -> rule2)) -> rule1) triple2 triple1) -> rule4) triple2) -> rule5))] Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple8)] Charlie is blue.[(triple7)] Charlie is round.[(triple6)] Dave is red.[(triple10)] Dave is young.[(triple9)] Eric is young.[(triple11)] @1: Bob is red.[(((triple2 triple5) -> rule2))] Charlie is red.[(((triple6 triple7) -> rule2))] Charlie is rough.[(((triple8 triple6) -> rule5))] @2: Bob is cold.[(((triple4 ((triple2 triple5) -> rule2)) -> rule1))] Charlie is nice.[(((triple6 ((triple8 triple6) -> rule5) triple8) -> rule6))] @3: Bob is big.[(((((triple4 ((triple2 triple5) -> rule2)) -> rule1) triple2 triple1) -> rule4))] @4: Bob is nice.[(((triple2 triple3 ((((triple4 ((triple2 triple5) -> rule2)) -> rule1) triple2 triple1) -> rule4)) -> rule6) OR ((triple2 ((((((triple4 ((triple2 triple5) -> rule2)) -> rule1) triple2 triple1) -> rule4) triple2) -> rule5) ((((triple4 ((triple2 triple5) -> rule2)) -> rule1) triple2 triple1) -> rule4)) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
((((((triple4 ((triple2 triple5) -> (rule2 % int4))) -> (rule1 % int3)) triple2 triple1) -> (rule4 % int2)) triple2) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple10
Dave is young.
("Dave" "is" "young" "+")
triple9
Eric is young.
("Eric" "is" "young" "+")
triple11
Bob is red.
("Bob" "is" "red" "+")
((triple2 triple5) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple6 triple7) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple8 triple6) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple4 ((triple2 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple6 ((triple8 triple6) -> (rule5 % int2)) triple8) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((((triple4 ((triple2 triple5) -> (rule2 % int3))) -> (rule1 % int2)) triple2 triple1) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 triple3 ((((triple4 ((triple2 triple5) -> (rule2 % int4))) -> (rule1 % int3)) triple2 triple1) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple2 ((((((triple4 ((triple2 triple5) -> (rule2 % int5))) -> (rule1 % int4)) triple2 triple1) -> (rule4 % int3)) triple2) -> (rule5 % int2)) ((((triple4 ((triple2 triple5) -> (rule2 % int5))) -> (rule1 % int4)) triple2 triple1) -> (rule4 % int3))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Because Bob, who is young, loves to eat he is quite round; Sometimes that makes him feel blue and get rough with people who make fun of him; But he is actually quite kind.
Charlie is both big and round, with blue features.
Young Dave got into a fight that left him with red sores on his face.
Eric was born only a few years ago so he is young.
Red people who are also kind often turn out to be cold from standing outdoors too long.
A round someone could be blue and round but maybe red.
If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body.
Young people that are cold and round are necessarily big.
If a person is quite big and also round then they are certainly rough too.
Nobody who is round and rough and big can keep themselves from being nice.