Bob is cold. Bob is kind. Bob is white. Erin is big. Erin is rough. Erin is smart. Fiona is furry. Fiona is white. Harry is smart. Harry is white. All cold people are kind. If Erin is big and Erin is smart then Erin is cold. Kind people are white. Cold, big people are rough. If someone is kind then they are cold. All rough people are smart.
Harry is not furry.
@0: Bob is cold.[(triple1 OR ((triple2) -> rule5))] Bob is kind.[(triple2 OR ((triple1) -> rule1))] Bob is white.[(triple3 OR ((triple2) -> rule3) OR ((((triple1) -> rule1)) -> rule3))] Erin is big.[(triple4)] Erin is rough.[(triple5 OR ((((triple4 triple6) -> rule2) triple4) -> rule4))] Erin is smart.[(triple6 OR ((triple5) -> rule6))] Fiona is furry.[(triple7)] Fiona is white.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Erin is cold.[(((triple4 triple6) -> rule2) OR ((triple4 ((triple5) -> rule6)) -> rule2))] @2: Erin is kind.[(((((triple4 triple6) -> rule2)) -> rule1) OR ((((triple4 ((triple5) -> rule6)) -> rule2)) -> rule1))] @3: Erin is white.[(((((((triple4 triple6) -> rule2)) -> rule1)) -> rule3) OR ((((((triple4 ((triple5) -> rule6)) -> rule2)) -> rule1)) -> rule3))]