Anne is quiet. Anne is rough. Anne is smart. Bob is green. Bob is red. Bob is rough. Bob is smart. Fiona is big. Fiona is red. Gary is furry. Gary is red. Gary is rough. If Bob is quiet then Bob is red. Quiet things are green. All smart, big things are quiet. All big, green things are furry. If Bob is red then Bob is big. If something is rough and red then it is smart. If Bob is green then Bob is red. Smart, rough things are red.
Gary is not quiet.
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Bob is green.[(triple4 OR ((((triple7 ((triple5) -> rule5)) -> rule3)) -> rule2) OR ((((((triple6 triple5) -> rule6) ((triple5) -> rule5)) -> rule3)) -> rule2) OR ((((triple7 ((((triple7 triple6) -> rule8)) -> rule5)) -> rule3)) -> rule2) OR ((((((triple6 triple5) -> rule6) ((((triple7 triple6) -> rule8)) -> rule5)) -> rule3)) -> rule2))] Bob is red.[(triple5 OR ((triple4) -> rule7) OR ((triple7 triple6) -> rule8))] Bob is rough.[(triple6)] Bob is smart.[(triple7 OR ((triple6 triple5) -> rule6) OR ((triple6 ((triple4) -> rule7)) -> rule6))] Fiona is big.[(triple8)] Fiona is red.[(triple9)] Gary is furry.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] @1: Anne is green.[(((triple1) -> rule2))] Anne is red.[(((triple3 triple2) -> rule8))] Bob is big.[(((triple5) -> rule5) OR ((((triple4) -> rule7)) -> rule5) OR ((((triple7 triple6) -> rule8)) -> rule5))] Gary is smart.[(((triple12 triple11) -> rule6))] @2: Bob is furry.[(((((triple5) -> rule5) triple4) -> rule4) OR ((((((triple4) -> rule7)) -> rule5) triple4) -> rule4) OR ((((((triple7 triple6) -> rule8)) -> rule5) triple4) -> rule4) OR ((((triple5) -> rule5) ((((triple7 ((triple5) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((((triple6 triple5) -> rule6) ((triple5) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((((triple4) -> rule7)) -> rule5) ((((triple7 ((triple5) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((((triple7 triple6) -> rule8)) -> rule5) ((((triple7 ((triple5) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((((triple4) -> rule7)) -> rule5) ((((((triple6 triple5) -> rule6) ((triple5) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((((triple7 triple6) -> rule8)) -> rule5) ((((((triple6 triple5) -> rule6) ((triple5) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple7 ((((triple7 triple6) -> rule8)) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((((triple6 triple5) -> rule6) ((((triple7 triple6) -> rule8)) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((((triple4) -> rule7)) -> rule5) ((((triple7 ((((triple7 triple6) -> rule8)) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((((triple7 triple6) -> rule8)) -> rule5) ((((triple7 ((((triple7 triple6) -> rule8)) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((((triple4) -> rule7)) -> rule5) ((((((triple6 triple5) -> rule6) ((((triple7 triple6) -> rule8)) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((((triple7 triple6) -> rule8)) -> rule5) ((((((triple6 triple5) -> rule6) ((((triple7 triple6) -> rule8)) -> rule5)) -> rule3)) -> rule2)) -> rule4))] Bob is quiet.[(((triple7 ((triple5) -> rule5)) -> rule3) OR ((((triple6 triple5) -> rule6) ((triple5) -> rule5)) -> rule3) OR ((triple7 ((((triple4) -> rule7)) -> rule5)) -> rule3) OR ((triple7 ((((triple7 triple6) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 triple5) -> rule6) ((((triple4) -> rule7)) -> rule5)) -> rule3) OR ((((triple6 triple5) -> rule6) ((((triple7 triple6) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((triple4) -> rule7)) -> rule6) ((triple5) -> rule5)) -> rule3) OR ((((triple6 ((triple4) -> rule7)) -> rule6) ((((triple4) -> rule7)) -> rule5)) -> rule3) OR ((((triple6 ((triple4) -> rule7)) -> rule6) ((((triple7 triple6) -> rule8)) -> rule5)) -> rule3))]