Bob is big. Bob is cold. Bob is furry. Bob is red. Bob is round. Bob is smart. Erin is cold. Erin is red. Erin is smart. Fiona is smart. Gary is rough. Gary is smart. If someone is red then they are furry. If Fiona is smart then Fiona is red. If someone is round and smart then they are big.
Erin is furry.
@0: Bob is big.[(triple1 OR ((triple5 triple6) -> rule3))] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple4) -> rule1))] Bob is red.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Erin is cold.[(triple7)] Erin is red.[(triple8)] Erin is smart.[(triple9)] Fiona is smart.[(triple10)] Gary is rough.[(triple11)] Gary is smart.[(triple12)] @1: Erin is furry.[(((triple8) -> rule1))] Fiona is red.[(((triple10) -> rule2))] @2: Fiona is furry.[(((((triple10) -> rule2)) -> rule1))]