Bob is big. Bob is cold. Bob is furry. Bob is red. Dave is big. Dave is cold. Dave is furry. Gary is furry. Gary is nice. Gary is red. If someone is red and furry then they are big. If someone is furry and red then they are big.
Dave is furry.
@0: Bob is big.[(triple1 OR ((triple3 triple4) -> rule2) OR ((triple4 triple3) -> rule1))] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is red.[(triple4)] Dave is big.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Gary is furry.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10)] @1: Gary is big.[(((triple10 triple8) -> rule1) OR ((triple8 triple10) -> rule2))]