Erin is kind. Erin is nice. Erin is red. Erin is round. Erin is smart. Fiona is kind. Fiona is round. Fiona is smart. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Round, red things are quiet. If something is kind and smart then it is red. If Fiona is quiet then Fiona is cold. If Erin is kind then Erin is quiet. All round, red things are nice. If something is cold and kind then it is round. Nice, quiet things are round. Nice things are smart.
Fiona is kind.
@0: Erin is kind.[(triple1)] Erin is nice.[(triple2 OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple1 triple5) -> rule2)) -> rule5))] Erin is red.[(triple3 OR ((triple1 triple5) -> rule2) OR ((triple1 ((triple2) -> rule8)) -> rule2))] Erin is round.[(triple4 OR ((triple2 ((triple1) -> rule4)) -> rule7))] Erin is smart.[(triple5 OR ((triple2) -> rule8) OR ((((triple4 triple3) -> rule5)) -> rule8))] Fiona is kind.[(triple6)] Fiona is round.[(triple7)] Fiona is smart.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10)] Harry is quiet.[(triple11)] Harry is red.[(triple12 OR ((triple9 ((triple10) -> rule8)) -> rule2))] @1: Erin is quiet.[(((triple1) -> rule4) OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple1 triple5) -> rule2)) -> rule1) OR ((triple4 ((triple1 ((triple2) -> rule8)) -> rule2)) -> rule1))] Fiona is red.[(((triple6 triple8) -> rule2))] Harry is round.[(((triple10 triple11) -> rule7))] Harry is smart.[(((triple10) -> rule8))] @2: Fiona is nice.[(((triple7 ((triple6 triple8) -> rule2)) -> rule5))] Fiona is quiet.[(((triple7 ((triple6 triple8) -> rule2)) -> rule1))] @3: Fiona is cold.[(((((triple7 ((triple6 triple8) -> rule2)) -> rule1)) -> rule3))]