Bob is blue. Dave is furry. Dave is green. Dave is nice. Dave is smart. Gary is big. Gary is blue. Gary is furry. Gary is nice. Gary is smart. If someone is blue then they are smart. All furry people are big. Furry people are nice. If someone is furry then they are green. All smart people are furry. If Gary is furry and Gary is not cold then Gary is nice.
Gary is not cold.
@0: Bob is blue.[(triple1)] Dave is furry.[(triple2 OR ((triple5) -> rule5))] Dave is green.[(triple3 OR ((triple2) -> rule4) OR ((((triple5) -> rule5)) -> rule4))] Dave is nice.[(triple4 OR ((triple2) -> rule3) OR ((((triple5) -> rule5)) -> rule3))] Dave is smart.[(triple5)] Gary is big.[(triple6 OR ((triple8) -> rule2) OR ((((triple10) -> rule5)) -> rule2) OR ((((((triple7) -> rule1)) -> rule5)) -> rule2))] Gary is blue.[(triple7)] Gary is furry.[(triple8 OR ((triple10) -> rule5) OR ((((triple7) -> rule1)) -> rule5))] Gary is nice.[(triple9 OR ((triple8) -> rule3) OR ((((triple10) -> rule5)) -> rule3) OR ((((((triple7) -> rule1)) -> rule5)) -> rule3))] Gary is smart.[(triple10 OR ((triple7) -> rule1))] @1: Bob is smart.[(((triple1) -> rule1))] Dave is big.[(((triple2) -> rule2) OR ((((triple5) -> rule5)) -> rule2))] Gary is green.[(((triple8) -> rule4) OR ((((triple10) -> rule5)) -> rule4) OR ((((((triple7) -> rule1)) -> rule5)) -> rule4))] @2: Bob is furry.[(((((triple1) -> rule1)) -> rule5))] @3: Bob is big.[(((((((triple1) -> rule1)) -> rule5)) -> rule2))] Bob is green.[(((((((triple1) -> rule1)) -> rule5)) -> rule4))] Bob is nice.[(((((((triple1) -> rule1)) -> rule5)) -> rule3))]