Bob is green. Bob is rough. Bob is white. Charlie is rough. Dave is quiet. Gary is cold. Gary is rough. All quiet, kind people are young. If Charlie is quiet and Charlie is young then Charlie is kind. All green, white people are cold. All quiet people are rough. All rough, green people are white. All young people are green. Rough people are young.
Bob is kind.
@0: Bob is green.[(triple1 OR ((((triple2) -> rule7)) -> rule6))] Bob is rough.[(triple2)] Bob is white.[(triple3 OR ((triple2 triple1) -> rule5) OR ((triple2 ((((triple2) -> rule7)) -> rule6)) -> rule5))] Charlie is rough.[(triple4)] Dave is quiet.[(triple5)] Gary is cold.[(triple6 OR ((((((triple7) -> rule7)) -> rule6) ((triple7 ((((triple7) -> rule7)) -> rule6)) -> rule5)) -> rule3))] Gary is rough.[(triple7)] @1: Bob is cold.[(((triple1 triple3) -> rule3) OR ((triple1 ((triple2 triple1) -> rule5)) -> rule3) OR ((((((triple2) -> rule7)) -> rule6) triple3) -> rule3) OR ((((((triple2) -> rule7)) -> rule6) ((triple2 triple1) -> rule5)) -> rule3) OR ((triple1 ((triple2 ((((triple2) -> rule7)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple2) -> rule7)) -> rule6) ((triple2 ((((triple2) -> rule7)) -> rule6)) -> rule5)) -> rule3))] Bob is young.[(((triple2) -> rule7))] Charlie is young.[(((triple4) -> rule7))] Dave is rough.[(((triple5) -> rule4))] Gary is young.[(((triple7) -> rule7))] @2: Charlie is green.[(((((triple4) -> rule7)) -> rule6))] Dave is young.[(((((triple5) -> rule4)) -> rule7))] Gary is green.[(((((triple7) -> rule7)) -> rule6))] @3: Charlie is white.[(((triple4 ((((triple4) -> rule7)) -> rule6)) -> rule5))] Dave is green.[(((((((triple5) -> rule4)) -> rule7)) -> rule6))] Gary is white.[(((triple7 ((((triple7) -> rule7)) -> rule6)) -> rule5))] @4: Charlie is cold.[(((((((triple4) -> rule7)) -> rule6) ((triple4 ((((triple4) -> rule7)) -> rule6)) -> rule5)) -> rule3))] Dave is white.[(((((triple5) -> rule4) ((((((triple5) -> rule4)) -> rule7)) -> rule6)) -> rule5))] @5: Dave is cold.[(((((((((triple5) -> rule4)) -> rule7)) -> rule6) ((((triple5) -> rule4) ((((((triple5) -> rule4)) -> rule7)) -> rule6)) -> rule5)) -> rule3))]