Bob is blue. Bob is quiet. Bob is rough. Bob is round. Bob is white. Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is white. If something is quiet then it is kind. If Bob is rough and Bob is quiet then Bob is blue. Kind, white things are quiet. If something is kind then it is white. If something is smart then it is white. White, round things are quiet. If Bob is round then Bob is smart. All round, rough things are white.
Bob is rough.
@0: Bob is blue.[(triple1 OR ((triple3 triple2) -> rule2) OR ((triple3 ((triple5 triple4) -> rule6)) -> rule2) OR ((triple3 ((((triple4 triple3) -> rule8) triple4) -> rule6)) -> rule2) OR ((triple3 ((((((triple4) -> rule7)) -> rule5) triple4) -> rule6)) -> rule2))] Bob is quiet.[(triple2 OR ((triple5 triple4) -> rule6) OR ((((triple4 triple3) -> rule8) triple4) -> rule6) OR ((((((triple4) -> rule7)) -> rule5) triple4) -> rule6))] Bob is rough.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5 OR ((triple4 triple3) -> rule8) OR ((((triple2) -> rule1)) -> rule4) OR ((((triple4) -> rule7)) -> rule5))] Charlie is blue.[(triple6)] Charlie is kind.[(triple7 OR ((triple8) -> rule1))] Charlie is quiet.[(triple8 OR ((triple7 triple10) -> rule3) OR ((triple7 ((triple7) -> rule4)) -> rule3))] Charlie is rough.[(triple9)] Charlie is white.[(triple10 OR ((triple7) -> rule4) OR ((((triple8) -> rule1)) -> rule4))] @1: Bob is kind.[(((triple2) -> rule1) OR ((((triple5 triple4) -> rule6)) -> rule1) OR ((((((triple4 triple3) -> rule8) triple4) -> rule6)) -> rule1) OR ((((((((triple4) -> rule7)) -> rule5) triple4) -> rule6)) -> rule1))] Bob is smart.[(((triple4) -> rule7))]