Bob is furry. Bob is quiet. Bob is red. Bob is rough. Bob is round. Bob is young. Dave is furry. Dave is red. Dave is rough. Dave is round. Dave is young. Fiona is furry. Fiona is kind. Fiona is red. Fiona is rough. Fiona is round. Kind people are round. All kind, round people are rough. All young, rough people are round. If Fiona is red and Fiona is rough then Fiona is quiet. All round people are rough. Young, quiet people are rough. If someone is red and rough then they are furry. Red, quiet people are young.
Fiona is quiet.
@0: Bob is furry.[(triple1 OR ((triple3 triple4) -> rule7) OR ((triple3 ((triple5) -> rule5)) -> rule7) OR ((triple3 ((triple6 triple2) -> rule6)) -> rule7) OR ((triple3 ((((triple3 triple2) -> rule8) triple2) -> rule6)) -> rule7))] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((triple5) -> rule5) OR ((triple6 triple2) -> rule6) OR ((((triple3 triple2) -> rule8) triple2) -> rule6))] Bob is round.[(triple5 OR ((triple6 triple4) -> rule3) OR ((triple6 ((triple6 triple2) -> rule6)) -> rule3) OR ((((triple3 triple2) -> rule8) triple4) -> rule3) OR ((((triple3 triple2) -> rule8) ((triple6 triple2) -> rule6)) -> rule3) OR ((triple6 ((((triple3 triple2) -> rule8) triple2) -> rule6)) -> rule3) OR ((((triple3 triple2) -> rule8) ((((triple3 triple2) -> rule8) triple2) -> rule6)) -> rule3))] Bob is young.[(triple6 OR ((triple3 triple2) -> rule8))] Dave is furry.[(triple7 OR ((triple8 triple9) -> rule7) OR ((triple8 ((triple10) -> rule5)) -> rule7))] Dave is red.[(triple8)] Dave is rough.[(triple9 OR ((triple10) -> rule5))] Dave is round.[(triple10 OR ((triple11 triple9) -> rule3))] Dave is young.[(triple11)] Fiona is furry.[(triple12 OR ((triple14 triple15) -> rule7) OR ((triple14 ((triple16) -> rule5)) -> rule7) OR ((triple14 ((triple13 triple16) -> rule2)) -> rule7) OR ((triple14 ((((triple13) -> rule1)) -> rule5)) -> rule7) OR ((triple14 ((triple13 ((triple13) -> rule1)) -> rule2)) -> rule7))] Fiona is kind.[(triple13)] Fiona is red.[(triple14)] Fiona is rough.[(triple15 OR ((triple16) -> rule5) OR ((triple13 triple16) -> rule2) OR ((((triple13) -> rule1)) -> rule5) OR ((triple13 ((triple13) -> rule1)) -> rule2))] Fiona is round.[(triple16 OR ((triple13) -> rule1) OR ((((triple14 ((triple14 triple15) -> rule4)) -> rule8) triple15) -> rule3))] @1: Fiona is quiet.[(((triple14 triple15) -> rule4) OR ((triple14 ((triple16) -> rule5)) -> rule4) OR ((triple14 ((triple13 triple16) -> rule2)) -> rule4) OR ((triple14 ((((triple13) -> rule1)) -> rule5)) -> rule4) OR ((triple14 ((triple13 ((triple13) -> rule1)) -> rule2)) -> rule4))] @2: Fiona is young.[(((triple14 ((triple14 triple15) -> rule4)) -> rule8) OR ((triple14 ((triple14 ((triple16) -> rule5)) -> rule4)) -> rule8) OR ((triple14 ((triple14 ((triple13 triple16) -> rule2)) -> rule4)) -> rule8) OR ((triple14 ((triple14 ((((triple13) -> rule1)) -> rule5)) -> rule4)) -> rule8) OR ((triple14 ((triple14 ((triple13 ((triple13) -> rule1)) -> rule2)) -> rule4)) -> rule8))]