Charlie is red. Dave is red. Dave is rough. Dave is round. Dave is young. Fiona is quiet. Fiona is red. Harry is furry. Harry is kind. Harry is young. All rough things are round. All rough things are round. All round, rough things are young. All red things are young. If Fiona is young and Fiona is not furry then Fiona is kind. If something is furry then it is rough. Quiet, kind things are rough. All quiet, young things are kind. Young things are quiet.
Fiona is furry.
@0: Charlie is red.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3 OR ((((triple5) -> rule9) ((((triple5) -> rule9) triple5) -> rule8)) -> rule7) OR ((((triple5) -> rule9) ((((triple5) -> rule9) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4)) -> rule9) ((((triple5) -> rule9) triple5) -> rule8)) -> rule7) OR ((((((triple2) -> rule4)) -> rule9) ((((triple5) -> rule9) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((triple5) -> rule9) ((((((triple2) -> rule4)) -> rule9) triple5) -> rule8)) -> rule7) OR ((((triple5) -> rule9) ((((((triple2) -> rule4)) -> rule9) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4)) -> rule9) ((((((triple2) -> rule4)) -> rule9) triple5) -> rule8)) -> rule7) OR ((((((triple2) -> rule4)) -> rule9) ((((((triple2) -> rule4)) -> rule9) ((triple2) -> rule4)) -> rule8)) -> rule7))] Dave is round.[(triple4 OR ((triple3) -> rule1) OR ((triple3) -> rule2) OR ((((((triple5) -> rule9) ((((triple5) -> rule9) triple5) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule9) ((((triple5) -> rule9) triple5) -> rule8)) -> rule7)) -> rule2) OR ((((((triple5) -> rule9) ((((triple5) -> rule9) ((triple2) -> rule4)) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule9) ((((triple5) -> rule9) ((triple2) -> rule4)) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4)) -> rule9) ((((triple5) -> rule9) triple5) -> rule8)) -> rule7)) -> rule1) OR ((((((((triple2) -> rule4)) -> rule9) ((((triple5) -> rule9) triple5) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4)) -> rule9) ((((triple5) -> rule9) ((triple2) -> rule4)) -> rule8)) -> rule7)) -> rule1) OR ((((((((triple2) -> rule4)) -> rule9) ((((triple5) -> rule9) ((triple2) -> rule4)) -> rule8)) -> rule7)) -> rule2) OR ((((((triple5) -> rule9) ((((((triple2) -> rule4)) -> rule9) triple5) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule9) ((((((triple2) -> rule4)) -> rule9) triple5) -> rule8)) -> rule7)) -> rule2) OR ((((((triple5) -> rule9) ((((((triple2) -> rule4)) -> rule9) ((triple2) -> rule4)) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule9) ((((((triple2) -> rule4)) -> rule9) ((triple2) -> rule4)) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4)) -> rule9) ((((((triple2) -> rule4)) -> rule9) triple5) -> rule8)) -> rule7)) -> rule1) OR ((((((((triple2) -> rule4)) -> rule9) ((((((triple2) -> rule4)) -> rule9) triple5) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4)) -> rule9) ((((((triple2) -> rule4)) -> rule9) ((triple2) -> rule4)) -> rule8)) -> rule7)) -> rule1) OR ((((((((triple2) -> rule4)) -> rule9) ((((((triple2) -> rule4)) -> rule9) ((triple2) -> rule4)) -> rule8)) -> rule7)) -> rule2))] Dave is young.[(triple5 OR ((triple2) -> rule4) OR ((triple4 triple3) -> rule3) OR ((((triple3) -> rule1) triple3) -> rule3) OR ((((triple3) -> rule2) triple3) -> rule3))] Fiona is quiet.[(triple6 OR ((((triple7) -> rule4)) -> rule9))] Fiona is red.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9 OR ((((triple10) -> rule9) triple10) -> rule8) OR ((((triple10) -> rule9) ((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule3)) -> rule8) OR ((((triple10) -> rule9) ((((((triple8) -> rule6)) -> rule2) ((triple8) -> rule6)) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule3)) -> rule9) triple10) -> rule8) OR ((((((((((triple8) -> rule6)) -> rule2) ((triple8) -> rule6)) -> rule3)) -> rule9) triple10) -> rule8) OR ((((((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule3)) -> rule9) ((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule3)) -> rule9) ((((((triple8) -> rule6)) -> rule2) ((triple8) -> rule6)) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule6)) -> rule2) ((triple8) -> rule6)) -> rule3)) -> rule9) ((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule3)) -> rule8) OR ((((((((((triple8) -> rule6)) -> rule2) ((triple8) -> rule6)) -> rule3)) -> rule9) ((((((triple8) -> rule6)) -> rule2) ((triple8) -> rule6)) -> rule3)) -> rule8))] Harry is young.[(triple10 OR ((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule3) OR ((((((triple8) -> rule6)) -> rule2) ((triple8) -> rule6)) -> rule3))] @1: Charlie is young.[(((triple1) -> rule4))] Dave is quiet.[(((triple5) -> rule9) OR ((((triple2) -> rule4)) -> rule9) OR ((((triple4 triple3) -> rule3)) -> rule9) OR ((((((triple3) -> rule1) triple3) -> rule3)) -> rule9) OR ((((((triple3) -> rule2) triple3) -> rule3)) -> rule9))] Fiona is young.[(((triple7) -> rule4))] Harry is quiet.[(((triple10) -> rule9) OR ((((((((triple8) -> rule6)) -> rule1) ((triple8) -> rule6)) -> rule3)) -> rule9) OR ((((((((triple8) -> rule6)) -> rule2) ((triple8) -> rule6)) -> rule3)) -> rule9))] Harry is rough.[(((triple8) -> rule6) OR ((((triple10) -> rule9) triple9) -> rule7) OR ((((triple10) -> rule9) ((((triple10) -> rule9) triple10) -> rule8)) -> rule7))] @2: Charlie is quiet.[(((((triple1) -> rule4)) -> rule9))] Dave is kind.[(((((triple5) -> rule9) triple5) -> rule8) OR ((((triple5) -> rule9) ((triple2) -> rule4)) -> rule8) OR ((((triple5) -> rule9) ((triple4 triple3) -> rule3)) -> rule8) OR ((((((triple2) -> rule4)) -> rule9) triple5) -> rule8) OR ((((((triple4 triple3) -> rule3)) -> rule9) triple5) -> rule8) OR ((((triple5) -> rule9) ((((triple3) -> rule1) triple3) -> rule3)) -> rule8) OR ((((triple5) -> rule9) ((((triple3) -> rule2) triple3) -> rule3)) -> rule8) OR ((((((triple2) -> rule4)) -> rule9) ((triple2) -> rule4)) -> rule8) OR ((((((triple2) -> rule4)) -> rule9) ((triple4 triple3) -> rule3)) -> rule8) OR ((((((triple4 triple3) -> rule3)) -> rule9) ((triple2) -> rule4)) -> rule8) OR ((((((triple4 triple3) -> rule3)) -> rule9) ((triple4 triple3) -> rule3)) -> rule8) OR ((((((triple2) -> rule4)) -> rule9) ((((triple3) -> rule1) triple3) -> rule3)) -> rule8) OR ((((((triple2) -> rule4)) -> rule9) ((((triple3) -> rule2) triple3) -> rule3)) -> rule8) OR ((((((triple4 triple3) -> rule3)) -> rule9) ((((triple3) -> rule1) triple3) -> rule3)) -> rule8) OR ((((((triple4 triple3) -> rule3)) -> rule9) ((((triple3) -> rule2) triple3) -> rule3)) -> rule8) OR ((((((((triple3) -> rule1) triple3) -> rule3)) -> rule9) triple5) -> rule8) OR ((((((((triple3) -> rule2) triple3) -> rule3)) -> rule9) triple5) -> rule8) OR ((((((((triple3) -> rule1) triple3) -> rule3)) -> rule9) ((triple2) -> rule4)) -> rule8) OR ((((((((triple3) -> rule1) triple3) -> rule3)) -> rule9) ((triple4 triple3) -> rule3)) -> rule8) OR ((((((((triple3) -> rule2) triple3) -> rule3)) -> rule9) ((triple2) -> rule4)) -> rule8) OR ((((((((triple3) -> rule2) triple3) -> rule3)) -> rule9) ((triple4 triple3) -> rule3)) -> rule8) OR ((((((((triple3) -> rule1) triple3) -> rule3)) -> rule9) ((((triple3) -> rule1) triple3) -> rule3)) -> rule8) OR ((((((((triple3) -> rule1) triple3) -> rule3)) -> rule9) ((((triple3) -> rule2) triple3) -> rule3)) -> rule8) OR ((((((((triple3) -> rule2) triple3) -> rule3)) -> rule9) ((((triple3) -> rule1) triple3) -> rule3)) -> rule8) OR ((((((((triple3) -> rule2) triple3) -> rule3)) -> rule9) ((((triple3) -> rule2) triple3) -> rule3)) -> rule8))] Fiona is kind.[(((triple6 ((triple7) -> rule4)) -> rule8) OR ((((((triple7) -> rule4)) -> rule9) ((triple7) -> rule4)) -> rule8))] Harry is round.[(((((triple8) -> rule6)) -> rule1) OR ((((triple8) -> rule6)) -> rule2) OR ((((((triple10) -> rule9) triple9) -> rule7)) -> rule1) OR ((((((triple10) -> rule9) triple9) -> rule7)) -> rule2) OR ((((((triple10) -> rule9) ((((triple10) -> rule9) triple10) -> rule8)) -> rule7)) -> rule1) OR ((((((triple10) -> rule9) ((((triple10) -> rule9) triple10) -> rule8)) -> rule7)) -> rule2))] @3: Charlie is kind.[(((((((triple1) -> rule4)) -> rule9) ((triple1) -> rule4)) -> rule8))] Fiona is rough.[(((triple6 ((triple6 ((triple7) -> rule4)) -> rule8)) -> rule7) OR ((((((triple7) -> rule4)) -> rule9) ((triple6 ((triple7) -> rule4)) -> rule8)) -> rule7) OR ((triple6 ((((((triple7) -> rule4)) -> rule9) ((triple7) -> rule4)) -> rule8)) -> rule7) OR ((((((triple7) -> rule4)) -> rule9) ((((((triple7) -> rule4)) -> rule9) ((triple7) -> rule4)) -> rule8)) -> rule7))] @4: Charlie is rough.[(((((((triple1) -> rule4)) -> rule9) ((((((triple1) -> rule4)) -> rule9) ((triple1) -> rule4)) -> rule8)) -> rule7))] Fiona is round.[(((((triple6 ((triple6 ((triple7) -> rule4)) -> rule8)) -> rule7)) -> rule1) OR ((((triple6 ((triple6 ((triple7) -> rule4)) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple7) -> rule4)) -> rule9) ((triple6 ((triple7) -> rule4)) -> rule8)) -> rule7)) -> rule1) OR ((((((((triple7) -> rule4)) -> rule9) ((triple6 ((triple7) -> rule4)) -> rule8)) -> rule7)) -> rule2) OR ((((triple6 ((((((triple7) -> rule4)) -> rule9) ((triple7) -> rule4)) -> rule8)) -> rule7)) -> rule1) OR ((((triple6 ((((((triple7) -> rule4)) -> rule9) ((triple7) -> rule4)) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple7) -> rule4)) -> rule9) ((((((triple7) -> rule4)) -> rule9) ((triple7) -> rule4)) -> rule8)) -> rule7)) -> rule1) OR ((((((((triple7) -> rule4)) -> rule9) ((((((triple7) -> rule4)) -> rule9) ((triple7) -> rule4)) -> rule8)) -> rule7)) -> rule2))] @5: Charlie is round.[(((((((((triple1) -> rule4)) -> rule9) ((((((triple1) -> rule4)) -> rule9) ((triple1) -> rule4)) -> rule8)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule4)) -> rule9) ((((((triple1) -> rule4)) -> rule9) ((triple1) -> rule4)) -> rule8)) -> rule7)) -> rule2))]