Anne is big. Dave is blue. Erin is not furry. Fiona is big. Fiona is furry. Fiona is kind. Fiona is quiet. All blue, quiet things are green. Blue, furry things are green. If something is green and young then it is not quiet. Green, young things are not quiet. Kind, blue things are furry. If something is kind then it is furry. If something is blue and big then it is kind. Blue things are kind. Furry, green things are young.
Anne is big.
("Anne" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
All blue, quiet things are green.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
Blue, furry things are green.
((("something" "is" "blue" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
If something is green and young then it is not quiet.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "quiet" "-"))
Green, young things are not quiet.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "quiet" "-"))
Kind, blue things are furry.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If something is kind then it is furry.
((("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
If something is blue and big then it is kind.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Furry, green things are young.
((("something" "is" "furry" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
Erin is not furry.
True
1
proof
[(triple3)]
("Erin" "is" "furry" "-")
triple3
Fiona is not furry.
False
1
inv-proof
[(triple5 OR ((triple6) -> rule6))]
("Fiona" "is" "furry" "-")
triple5
((triple6) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Dave is kind.
True
2
proof
[(((triple2) -> rule8))]
("Dave" "is" "kind" "+")
((triple2) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
2
inv-proof
[(((triple2) -> rule8))]
("Dave" "is" "kind" "-")
((triple2) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
True
3
proof
[(((((triple2) -> rule8)) -> rule6) OR ((((triple2) -> rule8) triple2) -> rule5))]
("Dave" "is" "furry" "+")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple2) -> (rule8 % int2)) triple2) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is not furry.
False
3
inv-proof
[(((((triple2) -> rule8)) -> rule6) OR ((((triple2) -> rule8) triple2) -> rule5))]
("Dave" "is" "furry" "-")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple2) -> (rule8 % int2)) triple2) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
True
5
proof
[(((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) OR ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2))]
("Dave" "is" "green" "+")
((triple2 ((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple2 ((((triple2) -> (rule8 % int3)) triple2) -> (rule5 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is not green.
False
5
inv-proof
[(((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) OR ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2))]
("Dave" "is" "green" "-")
((triple2 ((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple2 ((((triple2) -> (rule8 % int3)) triple2) -> (rule5 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is young.
True
9
proof
[(((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9) OR ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9) OR ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9) OR ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9))]
("Dave" "is" "young" "+")
((((((triple2) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2 ((((triple2) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple2) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2 ((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((((triple2) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is not young.
False
9
inv-proof
[(((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9) OR ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9) OR ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9) OR ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9))]
("Dave" "is" "young" "-")
((((((triple2) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2 ((((triple2) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple2) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2 ((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((((triple2) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is not quiet.
True
15
proof
[(((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule4))]
("Dave" "is" "quiet" "-")
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is quiet.
False
15
inv-proof
[(((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule4))]
("Dave" "is" "quiet" "+")
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "kind" "-")
Erin is green.
Unknown
rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "green" "+")
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Erin" "is" "young" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "+")
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "kind" "-")
Anne is furry.
Unknown
rconc
[@2: Anne is furry.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Anne" "is" "furry" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Anne is big.[(triple1)] Dave is blue.[(triple2)] Erin is not furry.[(triple3)] Fiona is big.[(triple4)] Fiona is furry.[(triple5 OR ((triple6) -> rule6))] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7)] @1: Dave is kind.[(((triple2) -> rule8))] @2: Dave is furry.[(((((triple2) -> rule8)) -> rule6) OR ((((triple2) -> rule8) triple2) -> rule5))] @3: Dave is green.[(((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) OR ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2))] @4: Dave is young.[(((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9) OR ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9) OR ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9) OR ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9))] @5: Dave is not quiet.[(((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8)) -> rule6) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule2)) -> rule9)) -> rule4) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule3) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2) ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((((triple2) -> rule8) triple2) -> rule5)) -> rule2)) -> rule9)) -> rule4))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Erin is not furry.
("Erin" "is" "furry" "-")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
((triple6) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
((triple2) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple2) -> (rule8 % int2)) triple2) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((triple2 ((((triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple2 ((((triple2) -> (rule8 % int3)) triple2) -> (rule5 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((((((triple2) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2 ((((triple2) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple2) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2 ((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((((triple2) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is not quiet.
("Dave" "is" "quiet" "-")
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is not quiet.
("Dave" "is" "quiet" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5