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