Bob is big. Bob is kind. Bob is smart. Fiona is big. Fiona is nice. Fiona is red. Fiona is smart. Gary is big. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is smart. Harry is cold. Harry is nice. Nice, red things are kind. All nice, furry things are smart. All cold, nice things are furry. Big, kind things are smart. If something is furry then it is nice. Smart things are red.
Gary is smart.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is smart.[(triple3 OR ((triple1 triple2) -> rule4))] Fiona is big.[(triple4)] Fiona is nice.[(triple5)] Fiona is red.[(triple6 OR ((triple7) -> rule6))] Fiona is smart.[(triple7 OR ((triple4 ((triple5 triple6) -> rule1)) -> rule4))] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10 OR ((triple11 triple12) -> rule1) OR ((triple11 ((triple13) -> rule6)) -> rule1) OR ((((triple9) -> rule5) triple12) -> rule1) OR ((((triple9) -> rule5) ((triple13) -> rule6)) -> rule1) OR ((triple11 ((((triple11 triple9) -> rule2)) -> rule6)) -> rule1) OR ((((triple9) -> rule5) ((((triple11 triple9) -> rule2)) -> rule6)) -> rule1) OR ((triple11 ((((((triple9) -> rule5) triple9) -> rule2)) -> rule6)) -> rule1) OR ((((triple9) -> rule5) ((((((triple9) -> rule5) triple9) -> rule2)) -> rule6)) -> rule1))] Gary is nice.[(triple11 OR ((triple9) -> rule5))] Gary is red.[(triple12 OR ((triple13) -> rule6) OR ((((triple11 triple9) -> rule2)) -> rule6) OR ((((triple8 triple10) -> rule4)) -> rule6) OR ((((((triple9) -> rule5) triple9) -> rule2)) -> rule6))] Gary is smart.[(triple13 OR ((triple11 triple9) -> rule2) OR ((triple8 triple10) -> rule4) OR ((triple8 ((triple11 triple12) -> rule1)) -> rule4) OR ((((triple9) -> rule5) triple9) -> rule2) OR ((triple8 ((((triple9) -> rule5) triple12) -> rule1)) -> rule4))] Harry is cold.[(triple14)] Harry is nice.[(triple15)] @1: Bob is red.[(((triple3) -> rule6) OR ((((triple1 triple2) -> rule4)) -> rule6))] Fiona is kind.[(((triple5 triple6) -> rule1) OR ((triple5 ((triple7) -> rule6)) -> rule1))] Harry is furry.[(((triple14 triple15) -> rule3))] @2: Harry is smart.[(((triple15 ((triple14 triple15) -> rule3)) -> rule2))] @3: Harry is red.[(((((triple15 ((triple14 triple15) -> rule3)) -> rule2)) -> rule6))] @4: Harry is kind.[(((triple15 ((((triple15 ((triple14 triple15) -> rule3)) -> rule2)) -> rule6)) -> rule1))]