Bob is big. Bob is nice. Bob is smart. Fiona is big. Fiona is smart. Fiona is young. Gary is big. Gary is nice. Gary is red. Harry is big. Harry is blue. Harry is green. Harry is nice. Harry is red. Harry is smart. Harry is young. Red, nice things are big. If something is big and red then it is blue. If Harry is red and Harry is blue then Harry is young. If something is young and green then it is nice. If something is big then it is green. If something is green then it is young. All young things are blue. If Gary is nice and Gary is big then Gary is smart.
Fiona is not red.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2 OR ((((((triple1) -> rule5)) -> rule6) ((triple1) -> rule5)) -> rule4))] Bob is smart.[(triple3)] Fiona is big.[(triple4)] Fiona is smart.[(triple5)] Fiona is young.[(triple6 OR ((((triple4) -> rule5)) -> rule6))] Gary is big.[(triple7 OR ((triple9 triple8) -> rule1))] Gary is nice.[(triple8 OR ((((((triple7) -> rule5)) -> rule6) ((triple7) -> rule5)) -> rule4))] Gary is red.[(triple9)] Harry is big.[(triple10 OR ((triple14 triple13) -> rule1) OR ((triple14 ((triple16 triple12) -> rule4)) -> rule1) OR ((triple14 ((((triple12) -> rule6) triple12) -> rule4)) -> rule1) OR ((triple14 ((((triple14 triple11) -> rule3) triple12) -> rule4)) -> rule1))] Harry is blue.[(triple11 OR ((triple16) -> rule7) OR ((triple10 triple14) -> rule2) OR ((((triple12) -> rule6)) -> rule7) OR ((((triple14 triple13) -> rule1) triple14) -> rule2) OR ((((((triple10) -> rule5)) -> rule6)) -> rule7) OR ((((triple14 ((triple16 triple12) -> rule4)) -> rule1) triple14) -> rule2) OR ((((((((triple14 triple13) -> rule1)) -> rule5)) -> rule6)) -> rule7) OR ((((triple14 ((((triple12) -> rule6) triple12) -> rule4)) -> rule1) triple14) -> rule2))] Harry is green.[(triple12 OR ((triple10) -> rule5) OR ((((triple14 triple13) -> rule1)) -> rule5))] Harry is nice.[(triple13 OR ((triple16 triple12) -> rule4) OR ((triple16 ((triple10) -> rule5)) -> rule4) OR ((((triple12) -> rule6) triple12) -> rule4) OR ((((triple14 triple11) -> rule3) triple12) -> rule4) OR ((((triple12) -> rule6) ((triple10) -> rule5)) -> rule4) OR ((((triple14 triple11) -> rule3) ((triple10) -> rule5)) -> rule4) OR ((((((triple10) -> rule5)) -> rule6) triple12) -> rule4) OR ((((triple14 ((triple10 triple14) -> rule2)) -> rule3) triple12) -> rule4) OR ((((((triple10) -> rule5)) -> rule6) ((triple10) -> rule5)) -> rule4) OR ((((triple14 ((triple10 triple14) -> rule2)) -> rule3) ((triple10) -> rule5)) -> rule4))] Harry is red.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16 OR ((triple12) -> rule6) OR ((triple14 triple11) -> rule3) OR ((((triple10) -> rule5)) -> rule6) OR ((triple14 ((triple10 triple14) -> rule2)) -> rule3) OR ((((((triple14 triple13) -> rule1)) -> rule5)) -> rule6) OR ((triple14 ((((triple14 triple13) -> rule1) triple14) -> rule2)) -> rule3))] @1: Bob is green.[(((triple1) -> rule5))] Fiona is blue.[(((triple6) -> rule7) OR ((((((triple4) -> rule5)) -> rule6)) -> rule7))] Fiona is green.[(((triple4) -> rule5))] Gary is blue.[(((triple7 triple9) -> rule2) OR ((((triple9 triple8) -> rule1) triple9) -> rule2) OR ((((((triple7) -> rule5)) -> rule6)) -> rule7) OR ((((((((triple9 triple8) -> rule1)) -> rule5)) -> rule6)) -> rule7))] Gary is green.[(((triple7) -> rule5) OR ((((triple9 triple8) -> rule1)) -> rule5))] Gary is smart.[(((triple8 triple7) -> rule8) OR ((triple8 ((triple9 triple8) -> rule1)) -> rule8) OR ((((((((triple7) -> rule5)) -> rule6) ((triple7) -> rule5)) -> rule4) triple7) -> rule8) OR ((((((((triple7) -> rule5)) -> rule6) ((triple7) -> rule5)) -> rule4) ((triple9 triple8) -> rule1)) -> rule8))] @2: Bob is young.[(((((triple1) -> rule5)) -> rule6))] Fiona is nice.[(((triple6 ((triple4) -> rule5)) -> rule4) OR ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule4))] Gary is young.[(((((triple7) -> rule5)) -> rule6) OR ((((((triple9 triple8) -> rule1)) -> rule5)) -> rule6))] @3: Bob is blue.[(((((((triple1) -> rule5)) -> rule6)) -> rule7))]