Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is round. Gary is big. Gary is nice. Gary is round. If someone is kind then they are blue. Round people are cold. All nice, cold people are rough. If someone is round and kind then they are rough. Kind people are blue. All kind, blue people are nice. Round people are nice. Rough people are blue.
Gary is not cold.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple4) -> rule1) OR ((triple4) -> rule5) OR ((triple6) -> rule8) OR ((((triple5 triple3) -> rule3)) -> rule8) OR ((((triple7 triple4) -> rule4)) -> rule8) OR ((((triple5 ((triple7) -> rule2)) -> rule3)) -> rule8) OR ((((((triple7) -> rule7) triple3) -> rule3)) -> rule8) OR ((((((triple7) -> rule7) ((triple7) -> rule2)) -> rule3)) -> rule8))] Fiona is cold.[(triple3 OR ((triple7) -> rule2))] Fiona is kind.[(triple4)] Fiona is nice.[(triple5 OR ((triple7) -> rule7) OR ((triple4 triple2) -> rule6) OR ((triple4 ((triple4) -> rule1)) -> rule6) OR ((triple4 ((triple4) -> rule5)) -> rule6) OR ((triple4 ((triple6) -> rule8)) -> rule6) OR ((triple4 ((((triple7 triple4) -> rule4)) -> rule8)) -> rule6))] Fiona is rough.[(triple6 OR ((triple5 triple3) -> rule3) OR ((triple7 triple4) -> rule4) OR ((triple5 ((triple7) -> rule2)) -> rule3) OR ((((triple7) -> rule7) triple3) -> rule3) OR ((((triple4 triple2) -> rule6) triple3) -> rule3) OR ((((triple7) -> rule7) ((triple7) -> rule2)) -> rule3) OR ((((triple4 triple2) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple4 ((triple4) -> rule1)) -> rule6) triple3) -> rule3) OR ((((triple4 ((triple4) -> rule5)) -> rule6) triple3) -> rule3) OR ((((triple4 ((triple4) -> rule1)) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple4 ((triple4) -> rule5)) -> rule6) ((triple7) -> rule2)) -> rule3))] Fiona is round.[(triple7)] Gary is big.[(triple8)] Gary is nice.[(triple9 OR ((triple10) -> rule7))] Gary is round.[(triple10)] @1: Gary is cold.[(((triple10) -> rule2))] @2: Gary is rough.[(((triple9 ((triple10) -> rule2)) -> rule3) OR ((((triple10) -> rule7) ((triple10) -> rule2)) -> rule3))] @3: Gary is blue.[(((((triple9 ((triple10) -> rule2)) -> rule3)) -> rule8) OR ((((((triple10) -> rule7) ((triple10) -> rule2)) -> rule3)) -> rule8))]