Anne is furry. Anne is nice. Anne is young. Bob is young. Erin is green. Erin is quiet. Harry is smart. All green, cold things are smart. All green, young things are nice. All young things are smart. Quiet things are furry. Nice things are young. Quiet things are young. If Harry is smart then Harry is cold. Smart, young things are quiet. All quiet, furry things are green.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All green, cold things are smart.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
All green, young things are nice.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
All young things are smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
Quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
Nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Quiet things are young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If Harry is smart then Harry is cold.
((("Harry" "is" "smart" "+")) -> ("Harry" "is" "cold" "+"))
Smart, young things are quiet.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
All quiet, furry things are green.
((("something" "is" "quiet" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
Anne is nice.
True
1
proof
[(triple2 OR ((((((((triple3) -> rule3) triple3) -> rule8) triple1) -> rule9) triple3) -> rule2) OR ((((((((triple3) -> rule3) triple3) -> rule8) ((((((triple3) -> rule3) triple3) -> rule8)) -> rule4)) -> rule9) triple3) -> rule2))]
("Anne" "is" "nice" "+")
triple2
((((((((triple3) -> (rule3 % int4)) triple3) -> (rule8 % int3)) triple1) -> (rule9 % int2)) triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((((triple3) -> (rule3 % int5)) triple3) -> (rule8 % int4)) ((((((triple3) -> (rule3 % int5)) triple3) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule9 % int2)) triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is not furry.
False
1
inv-proof
[(triple1 OR ((((((triple3) -> rule3) triple3) -> rule8)) -> rule4) OR ((((((triple3) -> rule3) ((triple2) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple2) -> rule5)) -> rule3) triple3) -> rule8)) -> rule4) OR ((((((((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule8)) -> rule4))]
("Anne" "is" "furry" "-")
triple1
((((((triple3) -> (rule3 % int3)) triple3) -> (rule8 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple3) -> (rule3 % int4)) ((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule3 % int3)) triple3) -> (rule8 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple2) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Harry is cold.
True
2
proof
[(((triple7) -> rule7))]
("Harry" "is" "cold" "+")
((triple7) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple6) -> rule6))]
("Erin" "is" "young" "-")
((triple6) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Bob is quiet.
True
4
proof
[(((((triple4) -> rule3) triple4) -> rule8))]
("Bob" "is" "quiet" "+")
((((triple4) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Erin is not smart.
False
3
inv-proof
[(((((triple6) -> rule6)) -> rule3))]
("Erin" "is" "smart" "-")
((((triple6) -> (rule6 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Bob is furry.
True
5
proof
[(((((((triple4) -> rule3) triple4) -> rule8)) -> rule4))]
("Bob" "is" "furry" "+")
((((((triple4) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is not furry.
False
5
inv-proof
[(((((((triple4) -> rule3) triple4) -> rule8)) -> rule4))]
("Bob" "is" "furry" "-")
((((((triple4) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
True
10
proof
[(((((((triple4) -> rule3) triple4) -> rule8) ((((((triple4) -> rule3) triple4) -> rule8)) -> rule4)) -> rule9))]
("Bob" "is" "green" "+")
((((((triple4) -> (rule3 % int4)) triple4) -> (rule8 % int3)) ((((((triple4) -> (rule3 % int4)) triple4) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is not green.
False
10
inv-proof
[(((((((triple4) -> rule3) triple4) -> rule8) ((((((triple4) -> rule3) triple4) -> rule8)) -> rule4)) -> rule9))]
("Bob" "is" "green" "-")
((((((triple4) -> (rule3 % int4)) triple4) -> (rule8 % int3)) ((((((triple4) -> (rule3 % int4)) triple4) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
True
12
proof
[(((((((((triple4) -> rule3) triple4) -> rule8) ((((((triple4) -> rule3) triple4) -> rule8)) -> rule4)) -> rule9) triple4) -> rule2))]
("Bob" "is" "nice" "+")
((((((((triple4) -> (rule3 % int5)) triple4) -> (rule8 % int4)) ((((((triple4) -> (rule3 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule9 % int2)) triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is not nice.
False
12
inv-proof
[(((((((((triple4) -> rule3) triple4) -> rule8) ((((((triple4) -> rule3) triple4) -> rule8)) -> rule4)) -> rule9) triple4) -> rule2))]
("Bob" "is" "nice" "-")
((((((((triple4) -> (rule3 % int5)) triple4) -> (rule8 % int4)) ((((((triple4) -> (rule3 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule9 % int2)) triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Harry is not nice.
Unknown
inv-rconc
[@4: Harry is nice.[CWA. Example of deepest failure = (rule2 <- rule9 <- rule8 <- rule5 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is furry.
Unknown
rconc
[@5: Harry is furry.[CWA. Example of deepest failure = (rule4 <- rule8 <- rule5 <- rule2 <- rule9 <- FAIL)]]
("Harry" "is" "furry" "+")
Harry is not green.
Unknown
inv-rconc
[@4: Harry is green.[CWA. Example of deepest failure = (rule9 <- rule8 <- rule5 <- rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is young.
Unknown
rconc
[@4: Harry is young.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule6 <- rule8 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not quiet.
Unknown
inv-rconc
[@4: Harry is quiet.[CWA. Example of deepest failure = (rule8 <- rule5 <- rule2 <- rule9 <- FAIL)]]
("Harry" "is" "quiet" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Anne is furry.[(triple1 OR ((((((triple3) -> rule3) triple3) -> rule8)) -> rule4) OR ((((((triple3) -> rule3) ((triple2) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple2) -> rule5)) -> rule3) triple3) -> rule8)) -> rule4) OR ((((((((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule8)) -> rule4))] Anne is nice.[(triple2 OR ((((((((triple3) -> rule3) triple3) -> rule8) triple1) -> rule9) triple3) -> rule2) OR ((((((((triple3) -> rule3) triple3) -> rule8) ((((((triple3) -> rule3) triple3) -> rule8)) -> rule4)) -> rule9) triple3) -> rule2))] Anne is young.[(triple3 OR ((triple2) -> rule5))] Bob is young.[(triple4)] Erin is green.[(triple5 OR ((triple6 ((triple6) -> rule4)) -> rule9))] Erin is quiet.[(triple6)] Harry is smart.[(triple7)] @1: Anne is smart.[(((triple3) -> rule3) OR ((((triple2) -> rule5)) -> rule3))] Bob is smart.[(((triple4) -> rule3))] Erin is furry.[(((triple6) -> rule4))] Erin is young.[(((triple6) -> rule6))] Harry is cold.[(((triple7) -> rule7))] @2: Anne is quiet.[(((((triple3) -> rule3) triple3) -> rule8) OR ((((triple3) -> rule3) ((triple2) -> rule5)) -> rule8) OR ((((((triple2) -> rule5)) -> rule3) triple3) -> rule8) OR ((((((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule8))] Bob is quiet.[(((((triple4) -> rule3) triple4) -> rule8))] Erin is nice.[(((triple5 ((triple6) -> rule6)) -> rule2) OR ((((triple6 ((triple6) -> rule4)) -> rule9) ((triple6) -> rule6)) -> rule2))] Erin is smart.[(((((triple6) -> rule6)) -> rule3))] @3: Anne is green.[(((((((triple3) -> rule3) triple3) -> rule8) triple1) -> rule9) OR ((((((triple3) -> rule3) ((triple2) -> rule5)) -> rule8) triple1) -> rule9) OR ((((((((triple2) -> rule5)) -> rule3) triple3) -> rule8) triple1) -> rule9) OR ((((((((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule8) triple1) -> rule9) OR ((((((triple3) -> rule3) triple3) -> rule8) ((((((triple3) -> rule3) triple3) -> rule8)) -> rule4)) -> rule9) OR ((((((triple3) -> rule3) triple3) -> rule8) ((((((triple3) -> rule3) ((triple2) -> rule5)) -> rule8)) -> rule4)) -> rule9) OR ((((((triple3) -> rule3) ((triple2) -> rule5)) -> rule8) ((((((triple3) -> rule3) triple3) -> rule8)) -> rule4)) -> rule9) OR ((((((((triple2) -> rule5)) -> rule3) triple3) -> rule8) ((((((triple3) -> rule3) triple3) -> rule8)) -> rule4)) -> rule9) OR ((((((triple3) -> rule3) ((triple2) -> rule5)) -> rule8) ((((((triple3) -> rule3) ((triple2) -> rule5)) -> rule8)) -> rule4)) -> rule9) OR ((((((((triple2) -> rule5)) -> rule3) triple3) -> rule8) ((((((triple3) -> rule3) ((triple2) -> rule5)) -> rule8)) -> rule4)) -> rule9) OR ((((((((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule8) ((((((triple3) -> rule3) triple3) -> rule8)) -> rule4)) -> rule9) OR ((((((((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule8) ((((((triple3) -> rule3) ((triple2) -> rule5)) -> rule8)) -> rule4)) -> rule9) OR ((((((triple3) -> rule3) triple3) -> rule8) ((((((((triple2) -> rule5)) -> rule3) triple3) -> rule8)) -> rule4)) -> rule9) OR ((((((triple3) -> rule3) triple3) -> rule8) ((((((((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule8)) -> rule4)) -> rule9) OR ((((((triple3) -> rule3) ((triple2) -> rule5)) -> rule8) ((((((((triple2) -> rule5)) -> rule3) triple3) -> rule8)) -> rule4)) -> rule9) OR ((((((((triple2) -> rule5)) -> rule3) triple3) -> rule8) ((((((((triple2) -> rule5)) -> rule3) triple3) -> rule8)) -> rule4)) -> rule9) OR ((((((triple3) -> rule3) ((triple2) -> rule5)) -> rule8) ((((((((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule8)) -> rule4)) -> rule9) OR ((((((((triple2) -> rule5)) -> rule3) triple3) -> rule8) ((((((((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule8)) -> rule4)) -> rule9) OR ((((((((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule8) ((((((((triple2) -> rule5)) -> rule3) triple3) -> rule8)) -> rule4)) -> rule9) OR ((((((((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule8) ((((((((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule8)) -> rule4)) -> rule9))] Bob is furry.[(((((((triple4) -> rule3) triple4) -> rule8)) -> rule4))] @4: Bob is green.[(((((((triple4) -> rule3) triple4) -> rule8) ((((((triple4) -> rule3) triple4) -> rule8)) -> rule4)) -> rule9))] @5: Bob is nice.[(((((((((triple4) -> rule3) triple4) -> rule8) ((((((triple4) -> rule3) triple4) -> rule8)) -> rule4)) -> rule9) triple4) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((((((triple3) -> (rule3 % int3)) triple3) -> (rule8 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple3) -> (rule3 % int4)) ((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule3 % int3)) triple3) -> (rule8 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple2) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
triple2
((((((((triple3) -> (rule3 % int4)) triple3) -> (rule8 % int3)) triple1) -> (rule9 % int2)) triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((((triple3) -> (rule3 % int5)) triple3) -> (rule8 % int4)) ((((((triple3) -> (rule3 % int5)) triple3) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule9 % int2)) triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
triple3
((triple2) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
((triple6 ((triple6) -> (rule4 % int2))) -> (rule9 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Anne is smart.
("Anne" "is" "smart" "+")
((triple3) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((triple4) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple6) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple6) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple7) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple3) -> (rule3 % int2)) triple3) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple3) -> (rule3 % int3)) ((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple3) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule3 % int2)) ((triple2) -> (rule5 % int3))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
((((triple4) -> (rule3 % int2)) triple4) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
((triple5 ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple6 ((triple6) -> (rule4 % int4))) -> (rule9 % int3)) ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
((((triple6) -> (rule6 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
((((((triple3) -> (rule3 % int3)) triple3) -> (rule8 % int2)) triple1) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple3) -> (rule3 % int4)) ((triple2) -> (rule5 % int3))) -> (rule8 % int2)) triple1) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule3 % int3)) triple3) -> (rule8 % int2)) triple1) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple2) -> (rule5 % int4))) -> (rule8 % int2)) triple1) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple3) -> (rule3 % int4)) triple3) -> (rule8 % int3)) ((((((triple3) -> (rule3 % int4)) triple3) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple3) -> (rule3 % int5)) triple3) -> (rule8 % int4)) ((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule5 % int3))) -> (rule8 % int4))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule5 % int4))) -> (rule8 % int3)) ((((((triple3) -> (rule3 % int5)) triple3) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule8 % int3)) ((((((triple3) -> (rule3 % int4)) triple3) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule5 % int4))) -> (rule8 % int3)) ((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule8 % int3)) ((((((triple3) -> (rule3 % int4)) ((triple2) -> (rule5 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((triple2) -> (rule5 % int5))) -> (rule8 % int3)) ((((((triple3) -> (rule3 % int4)) triple3) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((triple2) -> (rule5 % int5))) -> (rule8 % int3)) ((((((triple3) -> (rule3 % int4)) ((triple2) -> (rule5 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((triple3) -> (rule3 % int5)) triple3) -> (rule8 % int4)) ((((((((triple2) -> (rule5 % int3))) -> (rule3 % int5)) triple3) -> (rule8 % int4))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((triple3) -> (rule3 % int5)) triple3) -> (rule8 % int4)) ((((((((triple2) -> (rule5 % int3))) -> (rule3 % int5)) ((triple2) -> (rule5 % int3))) -> (rule8 % int4))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule5 % int4))) -> (rule8 % int3)) ((((((((triple2) -> (rule5 % int4))) -> (rule3 % int5)) triple3) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule8 % int3)) ((((((((triple2) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((triple3) -> (rule3 % int5)) ((triple2) -> (rule5 % int4))) -> (rule8 % int3)) ((((((((triple2) -> (rule5 % int4))) -> (rule3 % int5)) ((triple2) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule8 % int3)) ((((((((triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((triple2) -> (rule5 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((triple2) -> (rule5 % int5))) -> (rule8 % int3)) ((((((((triple2) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((triple2) -> (rule5 % int5))) -> (rule8 % int3)) ((((((((triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((triple2) -> (rule5 % int5))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
((((((triple4) -> (rule3 % int3)) triple4) -> (rule8 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((((((triple4) -> (rule3 % int4)) triple4) -> (rule8 % int3)) ((((((triple4) -> (rule3 % int4)) triple4) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
((((((((triple4) -> (rule3 % int5)) triple4) -> (rule8 % int4)) ((((((triple4) -> (rule3 % int5)) triple4) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule9 % int2)) triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5