Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Harry is kind. Harry is rough. Harry is smart. If someone is cold then they are smart. Nice, smart people are quiet. Kind people are cold. Smart people are rough. Smart people are kind. Nice, quiet people are kind.
Fiona is rough.
@0: Fiona is kind.[(triple1 OR ((triple2 triple3) -> rule6))] Fiona is nice.[(triple2)] Fiona is quiet.[(triple3 OR ((triple2 ((((triple1) -> rule3)) -> rule1)) -> rule2))] Fiona is red.[(triple4)] Harry is kind.[(triple5 OR ((triple7) -> rule5))] Harry is rough.[(triple6 OR ((triple7) -> rule4) OR ((((((triple5) -> rule3)) -> rule1)) -> rule4))] Harry is smart.[(triple7 OR ((((triple5) -> rule3)) -> rule1))] @1: Fiona is cold.[(((triple1) -> rule3) OR ((((triple2 triple3) -> rule6)) -> rule3))] Harry is cold.[(((triple5) -> rule3) OR ((((triple7) -> rule5)) -> rule3))] @2: Fiona is smart.[(((((triple1) -> rule3)) -> rule1) OR ((((((triple2 triple3) -> rule6)) -> rule3)) -> rule1))] @3: Fiona is rough.[(((((((triple1) -> rule3)) -> rule1)) -> rule4) OR ((((((((triple2 triple3) -> rule6)) -> rule3)) -> rule1)) -> rule4))]