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