Anne is big. Anne is blue. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Erin is blue. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Fiona is big. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is smart. If someone is quiet and smart then they are big. If someone is red then they are quiet. All blue people are red. Red, big people are nice. If someone is quiet and nice then they are big. If Anne is smart and Anne is quiet then Anne is nice. Blue people are quiet. If Fiona is smart and Fiona is big then Fiona is nice.
Fiona is blue.
@0: Anne is big.[(triple1 OR ((triple4 triple3) -> rule5) OR ((((triple2) -> rule7) triple3) -> rule5) OR ((((triple5) -> rule2) triple3) -> rule5) OR ((((((triple2) -> rule3)) -> rule2) triple3) -> rule5))] Anne is blue.[(triple2)] Anne is nice.[(triple3 OR ((triple5 triple1) -> rule4) OR ((((triple2) -> rule3) triple1) -> rule4))] Anne is quiet.[(triple4 OR ((triple2) -> rule7) OR ((triple5) -> rule2) OR ((((triple2) -> rule3)) -> rule2))] Anne is red.[(triple5 OR ((triple2) -> rule3))] Anne is rough.[(triple6)] Erin is blue.[(triple7)] Erin is nice.[(triple8)] Erin is quiet.[(triple9 OR ((triple10) -> rule2) OR ((triple7) -> rule7) OR ((((triple7) -> rule3)) -> rule2))] Erin is red.[(triple10 OR ((triple7) -> rule3))] Erin is rough.[(triple11)] Fiona is big.[(triple12 OR ((triple14 triple13) -> rule5) OR ((triple14 triple16) -> rule1))] Fiona is nice.[(triple13 OR ((triple16 triple12) -> rule8) OR ((triple16 ((triple14 triple16) -> rule1)) -> rule8))] Fiona is quiet.[(triple14)] Fiona is rough.[(triple15)] Fiona is smart.[(triple16)] @1: Erin is big.[(((triple9 triple8) -> rule5) OR ((((triple10) -> rule2) triple8) -> rule5) OR ((((triple7) -> rule7) triple8) -> rule5) OR ((((((triple7) -> rule3)) -> rule2) triple8) -> rule5))]