Bob is round. Erin is quiet. Erin is smart. Erin is not white. Fiona is green. Fiona is quiet. Fiona is smart. Gary is big. Gary is green. Gary is quiet. Gary is white. All quiet things are smart. Round things are quiet. All green, round things are white. If Fiona is not quiet then Fiona is white. Smart, white things are big. If something is nice and quiet then it is big. If something is quiet and not smart then it is not green. All quiet, smart things are green. If something is big then it is nice.
Bob is quiet.
@0: Bob is round.[(triple1)] Erin is not white.[(triple4)] Erin is quiet.[(triple2)] Erin is smart.[(triple3 OR ((triple2) -> rule1))] Fiona is green.[(triple5 OR ((triple6 triple7) -> rule8) OR ((triple6 ((triple6) -> rule1)) -> rule8))] Fiona is quiet.[(triple6)] Fiona is smart.[(triple7 OR ((triple6) -> rule1))] Gary is big.[(triple8 OR ((((triple10) -> rule1) triple11) -> rule5))] Gary is green.[(triple9 OR ((triple10 ((triple10) -> rule1)) -> rule8))] Gary is quiet.[(triple10)] Gary is white.[(triple11)] @1: Bob is quiet.[(((triple1) -> rule2))] Erin is green.[(((triple2 triple3) -> rule8) OR ((triple2 ((triple2) -> rule1)) -> rule8))] Gary is nice.[(((triple8) -> rule9) OR ((((((triple10) -> rule1) triple11) -> rule5)) -> rule9))] Gary is smart.[(((triple10) -> rule1))] @2: Bob is smart.[(((((triple1) -> rule2)) -> rule1))] @3: Bob is green.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule8))] @4: Bob is white.[(((((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule8) triple1) -> rule3))] @5: Bob is big.[(((((((triple1) -> rule2)) -> rule1) ((((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule8) triple1) -> rule3)) -> rule5))] @6: Bob is nice.[(((((((((triple1) -> rule2)) -> rule1) ((((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule8) triple1) -> rule3)) -> rule5)) -> rule9))]