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