Bob is big. Bob is blue. Bob is kind. Erin is big. Erin is blue. Erin is cold. Erin is quiet. Erin is red. Erin is rough. Fiona is big. Fiona is red. Fiona is rough. Gary is cold. Gary is kind. Gary is rough. If something is red and quiet then it is cold. If something is red then it is blue. Kind, red things are rough. If something is blue then it is quiet. If Gary is big then Gary is kind. All quiet things are blue. Big, red things are kind. Kind, big things are blue.
Fiona is rough.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple3 triple1) -> rule8))] Bob is kind.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5 OR ((triple7) -> rule6) OR ((triple8) -> rule2) OR ((((triple4 triple8) -> rule7) triple4) -> rule8))] Erin is cold.[(triple6 OR ((triple8 triple7) -> rule1) OR ((triple8 ((triple5) -> rule4)) -> rule1) OR ((triple8 ((((triple8) -> rule2)) -> rule4)) -> rule1) OR ((triple8 ((((((triple4 triple8) -> rule7) triple4) -> rule8)) -> rule4)) -> rule1))] Erin is quiet.[(triple7 OR ((triple5) -> rule4) OR ((((triple8) -> rule2)) -> rule4) OR ((((((triple4 triple8) -> rule7) triple4) -> rule8)) -> rule4))] Erin is red.[(triple8)] Erin is rough.[(triple9 OR ((((triple4 triple8) -> rule7) triple8) -> rule3))] Fiona is big.[(triple10)] Fiona is red.[(triple11)] Fiona is rough.[(triple12 OR ((((triple10 triple11) -> rule7) triple11) -> rule3))] Gary is cold.[(triple13)] Gary is kind.[(triple14)] Gary is rough.[(triple15)] @1: Bob is quiet.[(((triple2) -> rule4) OR ((((triple3 triple1) -> rule8)) -> rule4))] Erin is kind.[(((triple4 triple8) -> rule7))] Fiona is blue.[(((triple11) -> rule2) OR ((((triple10 triple11) -> rule7) triple10) -> rule8))] Fiona is kind.[(((triple10 triple11) -> rule7))] @2: Fiona is quiet.[(((((triple11) -> rule2)) -> rule4) OR ((((((triple10 triple11) -> rule7) triple10) -> rule8)) -> rule4))] @3: Fiona is cold.[(((triple11 ((((triple11) -> rule2)) -> rule4)) -> rule1) OR ((triple11 ((((((triple10 triple11) -> rule7) triple10) -> rule8)) -> rule4)) -> rule1))]