Bob is big. Bob is cold. Bob is round. Bob is smart. Charlie is blue. Charlie is cold. Charlie is quiet. Charlie is red. Fiona is blue. Fiona is cold. All big things are smart. All cold things are big. Blue, quiet things are red. If something is quiet then it is big. If something is cold then it is smart. If something is smart then it is cold. Quiet things are round. If Fiona is smart then Fiona is blue.
Fiona is not round.
@0: Bob is big.[(triple1 OR ((triple2) -> rule2) OR ((((triple4) -> rule6)) -> rule2))] Bob is cold.[(triple2 OR ((triple4) -> rule6) OR ((((triple1) -> rule1)) -> rule6))] Bob is round.[(triple3)] Bob is smart.[(triple4 OR ((triple1) -> rule1) OR ((triple2) -> rule5) OR ((((triple2) -> rule2)) -> rule1))] Charlie is blue.[(triple5)] Charlie is cold.[(triple6 OR ((((((triple7) -> rule4)) -> rule1)) -> rule6))] Charlie is quiet.[(triple7)] Charlie is red.[(triple8 OR ((triple5 triple7) -> rule3))] Fiona is blue.[(triple9 OR ((((triple10) -> rule5)) -> rule8) OR ((((((triple10) -> rule2)) -> rule1)) -> rule8))] Fiona is cold.[(triple10)] @1: Charlie is big.[(((triple6) -> rule2) OR ((triple7) -> rule4))] Charlie is round.[(((triple7) -> rule7))] Charlie is smart.[(((triple6) -> rule5) OR ((((triple6) -> rule2)) -> rule1) OR ((((triple7) -> rule4)) -> rule1))] Fiona is big.[(((triple10) -> rule2))] Fiona is smart.[(((triple10) -> rule5) OR ((((triple10) -> rule2)) -> rule1))]