Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is nice. Bob is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Fiona is white. Gary is big. Gary is cold. Gary is white. If Fiona is young then Fiona is white. Blue people are cold. All cold people are nice. If Fiona is nice and Fiona is green then Fiona is big. If Gary is big and Gary is young then Gary is nice. Green people are nice. Nice people are blue. All green people are blue.
Bob is green.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple4) -> rule8) OR ((triple5) -> rule7) OR ((((triple3) -> rule3)) -> rule7) OR ((((triple4) -> rule6)) -> rule7))] Bob is cold.[(triple3 OR ((triple2) -> rule2) OR ((((triple4) -> rule8)) -> rule2) OR ((((triple5) -> rule7)) -> rule2) OR ((((((triple4) -> rule6)) -> rule7)) -> rule2))] Bob is green.[(triple4)] Bob is nice.[(triple5 OR ((triple3) -> rule3) OR ((triple4) -> rule6) OR ((((triple2) -> rule2)) -> rule3) OR ((((((triple4) -> rule8)) -> rule2)) -> rule3))] Bob is white.[(triple6)] Fiona is big.[(triple7 OR ((triple11 triple10) -> rule4) OR ((((triple10) -> rule6) triple10) -> rule4) OR ((((triple9) -> rule3) triple10) -> rule4) OR ((((((triple8) -> rule2)) -> rule3) triple10) -> rule4) OR ((((((((triple10) -> rule8)) -> rule2)) -> rule3) triple10) -> rule4))] Fiona is blue.[(triple8 OR ((triple10) -> rule8) OR ((triple11) -> rule7) OR ((((triple10) -> rule6)) -> rule7) OR ((((triple9) -> rule3)) -> rule7))] Fiona is cold.[(triple9 OR ((triple8) -> rule2) OR ((((triple10) -> rule8)) -> rule2) OR ((((triple11) -> rule7)) -> rule2) OR ((((((triple10) -> rule6)) -> rule7)) -> rule2))] Fiona is green.[(triple10)] Fiona is nice.[(triple11 OR ((triple10) -> rule6) OR ((triple9) -> rule3) OR ((((triple8) -> rule2)) -> rule3) OR ((((((triple10) -> rule8)) -> rule2)) -> rule3))] Fiona is white.[(triple12)] Gary is big.[(triple13)] Gary is cold.[(triple14)] Gary is white.[(triple15)] @1: Gary is nice.[(((triple14) -> rule3))] @2: Gary is blue.[(((((triple14) -> rule3)) -> rule7))]