Anne is round. Bob is blue. Bob is kind. Bob is red. Dave is big. Dave is kind. Dave is smart. Fiona is big. Fiona is red. Fiona is rough. Fiona is round. If Bob is round and Bob is red then Bob is rough. Big people are kind. All blue people are big. All round people are blue. All smart, red people are kind. All kind people are rough. All rough, big people are smart. Round, smart people are blue. If Fiona is smart and Fiona is red then Fiona is big.
Anne is kind.
@0: Anne is round.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3 OR ((((triple2) -> rule3)) -> rule2))] Bob is red.[(triple4)] Dave is big.[(triple5)] Dave is kind.[(triple6 OR ((triple5) -> rule2))] Dave is smart.[(triple7 OR ((((triple6) -> rule6) triple5) -> rule7) OR ((((((triple5) -> rule2)) -> rule6) triple5) -> rule7))] Fiona is big.[(triple8 OR ((((triple11) -> rule4)) -> rule3))] Fiona is red.[(triple9)] Fiona is rough.[(triple10 OR ((((triple8) -> rule2)) -> rule6) OR ((((((((triple11) -> rule4)) -> rule3)) -> rule2)) -> rule6))] Fiona is round.[(triple11)] @1: Anne is blue.[(((triple1) -> rule4))] Bob is big.[(((triple2) -> rule3))] Bob is rough.[(((triple3) -> rule6) OR ((((((triple2) -> rule3)) -> rule2)) -> rule6))] Dave is rough.[(((triple6) -> rule6) OR ((((triple5) -> rule2)) -> rule6))] Fiona is blue.[(((triple11) -> rule4) OR ((triple11 ((triple10 triple8) -> rule7)) -> rule8) OR ((triple11 ((((((triple8) -> rule2)) -> rule6) triple8) -> rule7)) -> rule8))] Fiona is kind.[(((triple8) -> rule2) OR ((((triple10 triple8) -> rule7) triple9) -> rule5) OR ((((((triple11) -> rule4)) -> rule3)) -> rule2) OR ((((triple10 ((((triple11) -> rule4)) -> rule3)) -> rule7) triple9) -> rule5))] Fiona is smart.[(((triple10 triple8) -> rule7) OR ((triple10 ((((triple11) -> rule4)) -> rule3)) -> rule7) OR ((((((triple8) -> rule2)) -> rule6) triple8) -> rule7) OR ((((((triple8) -> rule2)) -> rule6) ((((triple11) -> rule4)) -> rule3)) -> rule7) OR ((((((((((triple11) -> rule4)) -> rule3)) -> rule2)) -> rule6) triple8) -> rule7) OR ((((((((((triple11) -> rule4)) -> rule3)) -> rule2)) -> rule6) ((((triple11) -> rule4)) -> rule3)) -> rule7))] @2: Anne is big.[(((((triple1) -> rule4)) -> rule3))] Bob is smart.[(((((triple3) -> rule6) ((triple2) -> rule3)) -> rule7) OR ((((((((triple2) -> rule3)) -> rule2)) -> rule6) ((triple2) -> rule3)) -> rule7))] @3: Anne is kind.[(((((((triple1) -> rule4)) -> rule3)) -> rule2))] @4: Anne is rough.[(((((((((triple1) -> rule4)) -> rule3)) -> rule2)) -> rule6))] @5: Anne is smart.[(((((((((((triple1) -> rule4)) -> rule3)) -> rule2)) -> rule6) ((((triple1) -> rule4)) -> rule3)) -> rule7))]