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