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