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