Anne is furry. Anne is white. Charlie is furry. Charlie is kind. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Erin is furry. Erin is quiet. Erin is round. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. All kind things are round. Smart things are rough. All furry things are quiet. Kind things are rough. All quiet things are round. If something is rough then it is smart. Round things are rough. Smart, rough things are kind.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Smart things are rough.
((("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
All furry things are quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
Kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
All quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
If something is rough then it is smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Round things are rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
Smart, rough things are kind.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Anne is white.
True
1
proof
[(triple2)]
("Anne" "is" "white" "+")
triple2
Anne is not furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "-")
triple1
Charlie is quiet.
True
2
proof
[(((triple3) -> rule3))]
("Charlie" "is" "quiet" "+")
((triple3) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not quiet.
False
2
inv-proof
[(((triple3) -> rule3))]
("Charlie" "is" "quiet" "-")
((triple3) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Anne is round.
True
3
proof
[(((((triple1) -> rule3)) -> rule5))]
("Anne" "is" "round" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is not round.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule5))]
("Anne" "is" "round" "-")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is rough.
True
4
proof
[(((((((triple1) -> rule3)) -> rule5)) -> rule7))]
("Anne" "is" "rough" "+")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Erin is not kind.
False
6
inv-proof
[(((((((triple11) -> rule7)) -> rule6) ((triple11) -> rule7)) -> rule8) OR ((((((triple11) -> rule7)) -> rule6) ((((triple10) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple10) -> rule5)) -> rule7)) -> rule6) ((triple11) -> rule7)) -> rule8) OR ((((((triple11) -> rule7)) -> rule6) ((((((triple9) -> rule3)) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple10) -> rule5)) -> rule7)) -> rule6) ((((triple10) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple10) -> rule5)) -> rule7)) -> rule6) ((((((triple9) -> rule3)) -> rule5)) -> rule7)) -> rule8) OR ((((((((((triple9) -> rule3)) -> rule5)) -> rule7)) -> rule6) ((triple11) -> rule7)) -> rule8) OR ((((((((((triple9) -> rule3)) -> rule5)) -> rule7)) -> rule6) ((((triple10) -> rule5)) -> rule7)) -> rule8) OR ((((((((((triple9) -> rule3)) -> rule5)) -> rule7)) -> rule6) ((((((triple9) -> rule3)) -> rule5)) -> rule7)) -> rule8))]
("Erin" "is" "kind" "-")
((((((triple11) -> (rule7 % int3))) -> (rule6 % int2)) ((triple11) -> (rule7 % int3))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple11) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple10) -> (rule5 % int2))) -> (rule7 % int4))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((((triple10) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple11) -> (rule7 % int3))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple11) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int5))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((((triple10) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple10) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple10) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple9) -> (rule3 % int2))) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple9) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple11) -> (rule7 % int3))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((((triple9) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple10) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((((triple9) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple9) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Anne is smart.
True
5
proof
[(((((((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule6))]
("Anne" "is" "smart" "+")
((((((((triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is not smart.
False
5
inv-proof
[(((((((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule6))]
("Anne" "is" "smart" "-")
((((((((triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is kind.
True
10
proof
[(((((((((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule6) ((((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule8))]
("Anne" "is" "kind" "+")
((((((((((triple1) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple1) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is not kind.
False
10
inv-proof
[(((((((((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule6) ((((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule8))]
("Anne" "is" "kind" "-")
((((((((((triple1) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple1) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is furry.[(triple1)] Anne is white.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4 OR ((triple7 triple5) -> rule8) OR ((triple7 ((triple6) -> rule7)) -> rule8) OR ((triple7 ((triple7) -> rule2)) -> rule8) OR ((((triple5) -> rule6) triple5) -> rule8) OR ((((triple5) -> rule6) ((triple6) -> rule7)) -> rule8) OR ((((triple5) -> rule6) ((triple7) -> rule2)) -> rule8) OR ((((((triple6) -> rule7)) -> rule6) triple5) -> rule8) OR ((((((triple6) -> rule7)) -> rule6) ((triple6) -> rule7)) -> rule8) OR ((((((triple6) -> rule7)) -> rule6) ((triple7) -> rule2)) -> rule8) OR ((triple7 ((((((triple3) -> rule3)) -> rule5)) -> rule7)) -> rule8) OR ((((triple5) -> rule6) ((((((triple3) -> rule3)) -> rule5)) -> rule7)) -> rule8) OR ((((((triple6) -> rule7)) -> rule6) ((((((triple3) -> rule3)) -> rule5)) -> rule7)) -> rule8) OR ((((((((((triple3) -> rule3)) -> rule5)) -> rule7)) -> rule6) triple5) -> rule8) OR ((((((((((triple3) -> rule3)) -> rule5)) -> rule7)) -> rule6) ((triple6) -> rule7)) -> rule8) OR ((((((((((triple3) -> rule3)) -> rule5)) -> rule7)) -> rule6) ((triple7) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule3)) -> rule5)) -> rule7)) -> rule6) ((((((triple3) -> rule3)) -> rule5)) -> rule7)) -> rule8))] Charlie is rough.[(triple5 OR ((triple4) -> rule4) OR ((triple6) -> rule7) OR ((triple7) -> rule2) OR ((((triple4) -> rule1)) -> rule7) OR ((((((triple3) -> rule3)) -> rule5)) -> rule7))] Charlie is round.[(triple6 OR ((triple4) -> rule1) OR ((((triple3) -> rule3)) -> rule5) OR ((((triple7 triple5) -> rule8)) -> rule1) OR ((((triple7 ((triple7) -> rule2)) -> rule8)) -> rule1) OR ((((((triple5) -> rule6) triple5) -> rule8)) -> rule1) OR ((((((triple5) -> rule6) ((triple7) -> rule2)) -> rule8)) -> rule1))] Charlie is smart.[(triple7 OR ((triple5) -> rule6) OR ((((triple4) -> rule4)) -> rule6) OR ((((triple6) -> rule7)) -> rule6) OR ((((((triple4) -> rule1)) -> rule7)) -> rule6) OR ((((((((triple3) -> rule3)) -> rule5)) -> rule7)) -> rule6))] Charlie is white.[(triple8)] Erin is furry.[(triple9)] Erin is quiet.[(triple10 OR ((triple9) -> rule3))] Erin is round.[(triple11 OR ((triple10) -> rule5) OR ((((triple9) -> rule3)) -> rule5))] Fiona is kind.[(triple12 OR ((triple15 ((triple14) -> rule7)) -> rule8) OR ((triple15 ((triple15) -> rule2)) -> rule8) OR ((triple15 ((((triple13) -> rule5)) -> rule7)) -> rule8) OR ((((((triple14) -> rule7)) -> rule6) ((triple14) -> rule7)) -> rule8) OR ((((((triple14) -> rule7)) -> rule6) ((triple15) -> rule2)) -> rule8) OR ((((((triple14) -> rule7)) -> rule6) ((((triple13) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple13) -> rule5)) -> rule7)) -> rule6) ((triple14) -> rule7)) -> rule8) OR ((((((((triple13) -> rule5)) -> rule7)) -> rule6) ((triple15) -> rule2)) -> rule8) OR ((((((((triple13) -> rule5)) -> rule7)) -> rule6) ((((triple13) -> rule5)) -> rule7)) -> rule8))] Fiona is quiet.[(triple13)] Fiona is round.[(triple14 OR ((triple12) -> rule1) OR ((triple13) -> rule5) OR ((((triple15 ((triple15) -> rule2)) -> rule8)) -> rule1))] Fiona is smart.[(triple15 OR ((((triple12) -> rule4)) -> rule6) OR ((((triple14) -> rule7)) -> rule6) OR ((((((triple12) -> rule1)) -> rule7)) -> rule6) OR ((((((triple13) -> rule5)) -> rule7)) -> rule6))] Fiona is white.[(triple16)] @1: Anne is quiet.[(((triple1) -> rule3))] Charlie is quiet.[(((triple3) -> rule3))] Erin is rough.[(((triple11) -> rule7) OR ((((triple10) -> rule5)) -> rule7) OR ((((((triple9) -> rule3)) -> rule5)) -> rule7))] Fiona is rough.[(((triple12) -> rule4) OR ((triple14) -> rule7) OR ((triple15) -> rule2) OR ((((triple12) -> rule1)) -> rule7) OR ((((triple13) -> rule5)) -> rule7))] @2: Anne is round.[(((((triple1) -> rule3)) -> rule5))] Erin is smart.[(((((triple11) -> rule7)) -> rule6) OR ((((((triple10) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple9) -> rule3)) -> rule5)) -> rule7)) -> rule6))] @3: Anne is rough.[(((((((triple1) -> rule3)) -> rule5)) -> rule7))] Erin is kind.[(((((((triple11) -> rule7)) -> rule6) ((triple11) -> rule7)) -> rule8) OR ((((((triple11) -> rule7)) -> rule6) ((((triple10) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple10) -> rule5)) -> rule7)) -> rule6) ((triple11) -> rule7)) -> rule8) OR ((((((triple11) -> rule7)) -> rule6) ((((((triple9) -> rule3)) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple10) -> rule5)) -> rule7)) -> rule6) ((((triple10) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple10) -> rule5)) -> rule7)) -> rule6) ((((((triple9) -> rule3)) -> rule5)) -> rule7)) -> rule8) OR ((((((((((triple9) -> rule3)) -> rule5)) -> rule7)) -> rule6) ((triple11) -> rule7)) -> rule8) OR ((((((((((triple9) -> rule3)) -> rule5)) -> rule7)) -> rule6) ((((triple10) -> rule5)) -> rule7)) -> rule8) OR ((((((((((triple9) -> rule3)) -> rule5)) -> rule7)) -> rule6) ((((((triple9) -> rule3)) -> rule5)) -> rule7)) -> rule8))] @4: Anne is smart.[(((((((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule6))] @5: Anne is kind.[(((((((((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule6) ((((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule8))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
((triple7 triple5) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple7 ((triple6) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((triple7 ((triple7) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple5) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple5) -> (rule6 % int3)) ((triple6) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple5) -> (rule6 % int3)) ((triple7) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple6) -> (rule7 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple6) -> (rule7 % int3))) -> (rule6 % int2)) ((triple6) -> (rule7 % int3))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple6) -> (rule7 % int3))) -> (rule6 % int2)) ((triple7) -> (rule2 % int3))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple7 ((((((triple3) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple5) -> (rule6 % int5)) ((((((triple3) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple6) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int5))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((((triple3) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple6) -> (rule7 % int3))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple7) -> (rule2 % int3))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
((triple4) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple6) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple7) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((((triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
triple6
((triple4) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple7 triple5) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple7 ((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple5) -> (rule6 % int3)) triple5) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple5) -> (rule6 % int4)) ((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
((triple5) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple6) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((((triple3) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
((triple9) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple11
((triple10) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple9) -> (rule3 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
((triple15 ((triple14) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple15 ((triple15) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple15 ((((triple13) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple14) -> (rule7 % int3))) -> (rule6 % int2)) ((triple14) -> (rule7 % int3))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple14) -> (rule7 % int3))) -> (rule6 % int2)) ((triple15) -> (rule2 % int3))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple14) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple13) -> (rule5 % int2))) -> (rule7 % int4))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple13) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple14) -> (rule7 % int3))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple13) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple15) -> (rule2 % int3))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple13) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple13) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
Fiona is round.
("Fiona" "is" "round" "+")
triple14
((triple12) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple13) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple15 ((triple15) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
((((triple12) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple14) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple12) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple13) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
triple16
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple3) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple11) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple10) -> (rule5 % int2))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((((triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple12) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple14) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple15) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple12) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple13) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((((triple11) -> (rule7 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((triple10) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((((triple9) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
((((((triple11) -> (rule7 % int3))) -> (rule6 % int2)) ((triple11) -> (rule7 % int3))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple11) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple10) -> (rule5 % int2))) -> (rule7 % int4))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((((triple10) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple11) -> (rule7 % int3))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple11) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int5))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((((triple10) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple10) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple10) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple9) -> (rule3 % int2))) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple9) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple11) -> (rule7 % int3))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((((triple9) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple10) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((((triple9) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple9) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
((((((((triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
((((((((((triple1) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple1) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5