Fiona is big. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is young. Gary is red. Gary is white. Gary is young. Harry is big. Harry is kind. Harry is quiet. Harry is red. Harry is smart. Harry is young. If Fiona is kind and Fiona is young then Fiona is big. Quiet people are kind. If someone is kind then they are red. Big people are smart. If someone is red then they are quiet. If Fiona is kind and Fiona is white then Fiona is young.
Gary is not smart.
@0: Fiona is big.[(triple1 OR ((triple2 triple6) -> rule1) OR ((((triple3) -> rule2) triple6) -> rule1) OR ((((((triple4) -> rule5)) -> rule2) triple6) -> rule1))] Fiona is kind.[(triple2 OR ((triple3) -> rule2) OR ((((triple4) -> rule5)) -> rule2))] Fiona is quiet.[(triple3 OR ((triple4) -> rule5) OR ((((triple2) -> rule3)) -> rule5))] Fiona is red.[(triple4 OR ((triple2) -> rule3) OR ((((triple3) -> rule2)) -> rule3))] Fiona is smart.[(triple5 OR ((triple1) -> rule4) OR ((((triple2 triple6) -> rule1)) -> rule4) OR ((((((triple3) -> rule2) triple6) -> rule1)) -> rule4) OR ((((((((triple4) -> rule5)) -> rule2) triple6) -> rule1)) -> rule4))] Fiona is young.[(triple6)] Gary is red.[(triple7)] Gary is white.[(triple8)] Gary is young.[(triple9)] Harry is big.[(triple10)] Harry is kind.[(triple11 OR ((triple12) -> rule2) OR ((((triple13) -> rule5)) -> rule2))] Harry is quiet.[(triple12 OR ((triple13) -> rule5) OR ((((triple11) -> rule3)) -> rule5))] Harry is red.[(triple13 OR ((triple11) -> rule3) OR ((((triple12) -> rule2)) -> rule3))] Harry is smart.[(triple14 OR ((triple10) -> rule4))] Harry is young.[(triple15)] @1: Gary is quiet.[(((triple7) -> rule5))] @2: Gary is kind.[(((((triple7) -> rule5)) -> rule2))]