Bob is furry. Bob is kind. Bob is nice. Bob is rough. Bob is young. Erin is big. Erin is nice. Erin is rough. Erin is not young. Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is rough. Gary is rough. Furry things are rough. If Bob is rough then Bob is nice. All cold, big things are kind. If something is rough and big then it is cold. Nice things are big. All big things are nice. All furry, rough things are young. If something is kind and not nice then it is young.
Bob is nice.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2 OR ((((triple4 ((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3) OR ((((triple4 ((triple3) -> rule5)) -> rule4) ((((triple4) -> rule2)) -> rule5)) -> rule3) OR ((((((triple1) -> rule1) ((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3) OR ((((((triple1) -> rule1) ((triple3) -> rule5)) -> rule4) ((((triple4) -> rule2)) -> rule5)) -> rule3) OR ((((triple4 ((((triple4) -> rule2)) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3) OR ((((triple4 ((triple3) -> rule5)) -> rule4) ((((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule3) OR ((((triple4 ((((triple4) -> rule2)) -> rule5)) -> rule4) ((((triple4) -> rule2)) -> rule5)) -> rule3) OR ((((((triple1) -> rule1) ((((triple4) -> rule2)) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3) OR ((((triple4 ((((triple4) -> rule2)) -> rule5)) -> rule4) ((((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule3) OR ((((((triple1) -> rule1) ((triple3) -> rule5)) -> rule4) ((((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule3) OR ((((((triple1) -> rule1) ((((triple4) -> rule2)) -> rule5)) -> rule4) ((((triple4) -> rule2)) -> rule5)) -> rule3) OR ((((((triple1) -> rule1) ((((triple4) -> rule2)) -> rule5)) -> rule4) ((((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule3) OR ((((triple4 ((((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3) OR ((((triple4 ((((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule4) ((((triple4) -> rule2)) -> rule5)) -> rule3) OR ((((((triple1) -> rule1) ((((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3) OR ((((triple4 ((((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule4) ((((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule3) OR ((((((triple1) -> rule1) ((((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule4) ((((triple4) -> rule2)) -> rule5)) -> rule3) OR ((((((triple1) -> rule1) ((((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule4) ((((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule3))] Bob is nice.[(triple3 OR ((triple4) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] Bob is rough.[(triple4 OR ((triple1) -> rule1))] Bob is young.[(triple5 OR ((triple1 triple4) -> rule7) OR ((triple1 ((triple1) -> rule1)) -> rule7))] Erin is big.[(triple6 OR ((triple7) -> rule5))] Erin is nice.[(triple7 OR ((triple6) -> rule6))] Erin is not young.[(triple9)] Erin is rough.[(triple8)] Fiona is big.[(triple10 OR ((triple13) -> rule5))] Fiona is furry.[(triple11)] Fiona is kind.[(triple12 OR ((((triple14 triple10) -> rule4) triple10) -> rule3) OR ((((triple14 triple10) -> rule4) ((triple13) -> rule5)) -> rule3) OR ((((triple14 ((triple13) -> rule5)) -> rule4) triple10) -> rule3) OR ((((((triple11) -> rule1) triple10) -> rule4) triple10) -> rule3) OR ((((triple14 ((triple13) -> rule5)) -> rule4) ((triple13) -> rule5)) -> rule3) OR ((((((triple11) -> rule1) triple10) -> rule4) ((triple13) -> rule5)) -> rule3) OR ((((((triple11) -> rule1) ((triple13) -> rule5)) -> rule4) triple10) -> rule3) OR ((((((triple11) -> rule1) ((triple13) -> rule5)) -> rule4) ((triple13) -> rule5)) -> rule3))] Fiona is nice.[(triple13 OR ((triple10) -> rule6))] Fiona is rough.[(triple14 OR ((triple11) -> rule1))] Gary is rough.[(triple15)] @1: Bob is big.[(((triple3) -> rule5) OR ((((triple4) -> rule2)) -> rule5) OR ((((((triple1) -> rule1)) -> rule2)) -> rule5))] Erin is cold.[(((triple8 triple6) -> rule4) OR ((triple8 ((triple7) -> rule5)) -> rule4))] Fiona is cold.[(((triple14 triple10) -> rule4) OR ((triple14 ((triple13) -> rule5)) -> rule4) OR ((((triple11) -> rule1) triple10) -> rule4) OR ((((triple11) -> rule1) ((triple13) -> rule5)) -> rule4))] Fiona is young.[(((triple11 triple14) -> rule7) OR ((triple11 ((triple11) -> rule1)) -> rule7))] @2: Bob is cold.[(((triple4 ((triple3) -> rule5)) -> rule4) OR ((((triple1) -> rule1) ((triple3) -> rule5)) -> rule4) OR ((triple4 ((((triple4) -> rule2)) -> rule5)) -> rule4) OR ((((triple1) -> rule1) ((((triple4) -> rule2)) -> rule5)) -> rule4) OR ((triple4 ((((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule4) OR ((((triple1) -> rule1) ((((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule4))] Erin is kind.[(((((triple8 triple6) -> rule4) triple6) -> rule3) OR ((((triple8 triple6) -> rule4) ((triple7) -> rule5)) -> rule3) OR ((((triple8 ((triple7) -> rule5)) -> rule4) triple6) -> rule3) OR ((((triple8 ((triple7) -> rule5)) -> rule4) ((triple7) -> rule5)) -> rule3))]