Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is quiet. Anne is red. Anne is rough. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is red. Gary is big. Gary is blue. Gary is furry. Gary is quiet. Gary is red. All rough people are big. If someone is rough and big then they are cold. If someone is big and cold then they are blue. If Fiona is red and Fiona is big then Fiona is furry. All blue people are rough. Big, blue people are quiet.
Fiona is not quiet.
@0: Anne is big.[(triple1 OR ((triple7) -> rule1) OR ((((triple2) -> rule5)) -> rule1))] Anne is blue.[(triple2 OR ((triple1 triple3) -> rule3) OR ((triple1 ((triple7 triple1) -> rule2)) -> rule3) OR ((((triple7) -> rule1) triple3) -> rule3) OR ((((triple7) -> rule1) ((triple7 triple1) -> rule2)) -> rule3) OR ((triple1 ((triple7 ((triple7) -> rule1)) -> rule2)) -> rule3) OR ((((triple7) -> rule1) ((triple7 ((triple7) -> rule1)) -> rule2)) -> rule3))] Anne is cold.[(triple3 OR ((triple7 triple1) -> rule2) OR ((triple7 ((triple7) -> rule1)) -> rule2) OR ((((triple2) -> rule5) triple1) -> rule2) OR ((((triple2) -> rule5) ((triple7) -> rule1)) -> rule2) OR ((triple7 ((((triple2) -> rule5)) -> rule1)) -> rule2) OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule1)) -> rule2))] Anne is furry.[(triple4)] Anne is quiet.[(triple5 OR ((triple1 triple2) -> rule6) OR ((triple1 ((triple1 triple3) -> rule3)) -> rule6) OR ((((triple7) -> rule1) triple2) -> rule6) OR ((((triple7) -> rule1) ((triple1 triple3) -> rule3)) -> rule6) OR ((triple1 ((triple1 ((triple7 triple1) -> rule2)) -> rule3)) -> rule6) OR ((triple1 ((((triple7) -> rule1) triple3) -> rule3)) -> rule6) OR ((((((triple2) -> rule5)) -> rule1) triple2) -> rule6) OR ((triple1 ((((triple7) -> rule1) ((triple7 triple1) -> rule2)) -> rule3)) -> rule6) OR ((((triple7) -> rule1) ((triple1 ((triple7 triple1) -> rule2)) -> rule3)) -> rule6) OR ((((triple7) -> rule1) ((((triple7) -> rule1) triple3) -> rule3)) -> rule6) OR ((((((triple2) -> rule5)) -> rule1) ((triple1 triple3) -> rule3)) -> rule6) OR ((((triple7) -> rule1) ((((triple7) -> rule1) ((triple7 triple1) -> rule2)) -> rule3)) -> rule6) OR ((((((triple2) -> rule5)) -> rule1) ((triple1 ((triple7 triple1) -> rule2)) -> rule3)) -> rule6) OR ((((((triple2) -> rule5)) -> rule1) ((((triple7) -> rule1) triple3) -> rule3)) -> rule6) OR ((((((triple2) -> rule5)) -> rule1) ((((triple7) -> rule1) ((triple7 triple1) -> rule2)) -> rule3)) -> rule6) OR ((triple1 ((triple1 ((triple7 ((triple7) -> rule1)) -> rule2)) -> rule3)) -> rule6) OR ((triple1 ((((triple7) -> rule1) ((triple7 ((triple7) -> rule1)) -> rule2)) -> rule3)) -> rule6) OR ((((triple7) -> rule1) ((triple1 ((triple7 ((triple7) -> rule1)) -> rule2)) -> rule3)) -> rule6) OR ((((triple7) -> rule1) ((((triple7) -> rule1) ((triple7 ((triple7) -> rule1)) -> rule2)) -> rule3)) -> rule6) OR ((((((triple2) -> rule5)) -> rule1) ((triple1 ((triple7 ((triple7) -> rule1)) -> rule2)) -> rule3)) -> rule6) OR ((((((triple2) -> rule5)) -> rule1) ((((triple7) -> rule1) ((triple7 ((triple7) -> rule1)) -> rule2)) -> rule3)) -> rule6))] Anne is red.[(triple6)] Anne is rough.[(triple7 OR ((triple2) -> rule5) OR ((((triple1 triple3) -> rule3)) -> rule5))] Fiona is blue.[(triple8)] Fiona is cold.[(triple9 OR ((((triple8) -> rule5) ((((triple8) -> rule5)) -> rule1)) -> rule2))] Fiona is furry.[(triple10 OR ((triple11 ((((triple8) -> rule5)) -> rule1)) -> rule4))] Fiona is red.[(triple11)] Gary is big.[(triple12 OR ((((triple13) -> rule5)) -> rule1))] Gary is blue.[(triple13)] Gary is furry.[(triple14)] Gary is quiet.[(triple15 OR ((triple12 triple13) -> rule6) OR ((((((triple13) -> rule5)) -> rule1) triple13) -> rule6))] Gary is red.[(triple16)] @1: Fiona is rough.[(((triple8) -> rule5))] Gary is rough.[(((triple13) -> rule5))] @2: Fiona is big.[(((((triple8) -> rule5)) -> rule1))] Gary is cold.[(((((triple13) -> rule5) triple12) -> rule2) OR ((((triple13) -> rule5) ((((triple13) -> rule5)) -> rule1)) -> rule2))] @3: Fiona is quiet.[(((((((triple8) -> rule5)) -> rule1) triple8) -> rule6))]