Bob is furry. Bob is kind. Bob is quiet. Bob is smart. Bob is young. Charlie is kind. Charlie is young. Fiona is quiet. Fiona is white. Gary is smart. Gary is white. Gary is young. If Fiona is white then Fiona is quiet. If something is white and blue then it is smart. If something is furry and quiet then it is white. If Bob is white and Bob is blue then Bob is furry. If Bob is blue and Bob is white then Bob is young. Kind, smart things are furry. If something is smart then it is young. White things are blue.
Charlie is not white.
@0: Bob is furry.[(triple1 OR ((triple2 triple4) -> rule6))] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is smart.[(triple4 OR ((((triple1 triple3) -> rule3) ((((triple1 triple3) -> rule3)) -> rule8)) -> rule2))] Bob is young.[(triple5 OR ((triple4) -> rule7) OR ((((((triple1 triple3) -> rule3)) -> rule8) ((triple1 triple3) -> rule3)) -> rule5) OR ((((((triple1 triple3) -> rule3)) -> rule8) ((((triple2 triple4) -> rule6) triple3) -> rule3)) -> rule5) OR ((((((triple1 triple3) -> rule3) ((((triple1 triple3) -> rule3)) -> rule8)) -> rule2)) -> rule7) OR ((((((((triple2 triple4) -> rule6) triple3) -> rule3)) -> rule8) ((triple1 triple3) -> rule3)) -> rule5) OR ((((((((triple2 triple4) -> rule6) triple3) -> rule3)) -> rule8) ((((triple2 triple4) -> rule6) triple3) -> rule3)) -> rule5))] Charlie is kind.[(triple6)] Charlie is young.[(triple7)] Fiona is quiet.[(triple8 OR ((triple9) -> rule1))] Fiona is white.[(triple9)] Gary is smart.[(triple10 OR ((triple11 ((triple11) -> rule8)) -> rule2))] Gary is white.[(triple11)] Gary is young.[(triple12 OR ((triple10) -> rule7) OR ((((triple11 ((triple11) -> rule8)) -> rule2)) -> rule7))] @1: Bob is white.[(((triple1 triple3) -> rule3) OR ((((triple2 triple4) -> rule6) triple3) -> rule3))] Fiona is blue.[(((triple9) -> rule8))] Gary is blue.[(((triple11) -> rule8))] @2: Bob is blue.[(((((triple1 triple3) -> rule3)) -> rule8) OR ((((((triple2 triple4) -> rule6) triple3) -> rule3)) -> rule8))] Fiona is smart.[(((triple9 ((triple9) -> rule8)) -> rule2))] @3: Fiona is young.[(((((triple9 ((triple9) -> rule8)) -> rule2)) -> rule7))]