Anne is furry. Anne is nice. Anne is rough. Bob is kind. Bob is quiet. Bob is rough. Dave is furry. Dave is smart. Harry is nice. Harry is quiet. Harry is not smart. All quiet things are kind. Quiet, furry things are red. All nice things are red. Furry things are nice. Kind things are rough. Kind, quiet things are rough. All red things are quiet. If something is rough and not nice then it is smart.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
All quiet things are kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
Quiet, furry things are red.
((("something" "is" "quiet" "+") ("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
All nice things are red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
Furry things are nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
Kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
Kind, quiet things are rough.
((("something" "is" "kind" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
All red things are quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
If something is rough and not nice then it is smart.
((("something" "is" "rough" "+") ("something" "is" "nice" "~")) -> ("something" "is" "smart" "+"))
Dave is smart.
True
1
proof
[(triple8)]
("Dave" "is" "smart" "+")
triple8
Bob is not rough.
False
1
inv-proof
[(triple6 OR ((triple4) -> rule5) OR ((triple4 triple5) -> rule6) OR ((((triple5) -> rule1)) -> rule5) OR ((((triple5) -> rule1) triple5) -> rule6))]
("Bob" "is" "rough" "-")
triple6
((triple4) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple4 triple5) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple5) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Harry is kind.
True
2
proof
[(((triple10) -> rule1) OR ((((((triple9) -> rule3)) -> rule7)) -> rule1))]
("Harry" "is" "kind" "+")
((triple10) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((((triple9) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not kind.
False
2
inv-proof
[(((triple10) -> rule1) OR ((((((triple9) -> rule3)) -> rule7)) -> rule1))]
("Harry" "is" "kind" "-")
((triple10) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((((triple9) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Anne is quiet.
True
3
proof
[(((((triple2) -> rule3)) -> rule7) OR ((((((triple1) -> rule4)) -> rule3)) -> rule7))]
("Anne" "is" "quiet" "+")
((((triple2) -> (rule3 % int2))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Harry is not rough.
False
3
inv-proof
[(((((triple10) -> rule1)) -> rule5) OR ((((triple10) -> rule1) triple10) -> rule6) OR ((((triple10) -> rule1) ((((triple9) -> rule3)) -> rule7)) -> rule6) OR ((((((((triple9) -> rule3)) -> rule7)) -> rule1)) -> rule5) OR ((((((((triple9) -> rule3)) -> rule7)) -> rule1) triple10) -> rule6) OR ((((((((triple9) -> rule3)) -> rule7)) -> rule1) ((((triple9) -> rule3)) -> rule7)) -> rule6))]
("Harry" "is" "rough" "-")
((((triple10) -> (rule1 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple10) -> (rule1 % int2)) triple10) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple10) -> (rule1 % int4)) ((((triple9) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((((triple9) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((((triple9) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple10) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((((triple9) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((triple9) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Dave is quiet.
True
4
proof
[(((((((triple7) -> rule4)) -> rule3)) -> rule7))]
("Dave" "is" "quiet" "+")
((((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not quiet.
False
4
inv-proof
[(((((((triple7) -> rule4)) -> rule3)) -> rule7))]
("Dave" "is" "quiet" "-")
((((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
True
5
proof
[(((((((((triple7) -> rule4)) -> rule3)) -> rule7)) -> rule1))]
("Dave" "is" "kind" "+")
((((((((triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is not kind.
False
5
inv-proof
[(((((((((triple7) -> rule4)) -> rule3)) -> rule7)) -> rule1))]
("Dave" "is" "kind" "-")
((((((((triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is rough.
True
6
proof
[(((((((((((triple7) -> rule4)) -> rule3)) -> rule7)) -> rule1)) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule3)) -> rule7)) -> rule1) ((((((triple7) -> rule4)) -> rule3)) -> rule7)) -> rule6))]
("Dave" "is" "rough" "+")
((((((((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is not rough.
False
6
inv-proof
[(((((((((((triple7) -> rule4)) -> rule3)) -> rule7)) -> rule1)) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule3)) -> rule7)) -> rule1) ((((((triple7) -> rule4)) -> rule3)) -> rule7)) -> rule6))]
("Dave" "is" "rough" "-")
((((((((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "smart" "-")
Anne is smart.
Unknown
rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Anne" "is" "smart" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is red.
Unknown
rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Bob" "is" "red" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule4))] Anne is rough.[(triple3 OR ((((((((triple2) -> rule3)) -> rule7)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule7)) -> rule1) ((((triple2) -> rule3)) -> rule7)) -> rule6) OR ((((((((triple2) -> rule3)) -> rule7)) -> rule1) ((((((triple1) -> rule4)) -> rule3)) -> rule7)) -> rule6) OR ((((((((((triple1) -> rule4)) -> rule3)) -> rule7)) -> rule1)) -> rule5) OR ((((((((((triple1) -> rule4)) -> rule3)) -> rule7)) -> rule1) ((((triple2) -> rule3)) -> rule7)) -> rule6) OR ((((((((((triple1) -> rule4)) -> rule3)) -> rule7)) -> rule1) ((((((triple1) -> rule4)) -> rule3)) -> rule7)) -> rule6))] Bob is kind.[(triple4 OR ((triple5) -> rule1))] Bob is quiet.[(triple5)] Bob is rough.[(triple6 OR ((triple4) -> rule5) OR ((triple4 triple5) -> rule6) OR ((((triple5) -> rule1)) -> rule5) OR ((((triple5) -> rule1) triple5) -> rule6))] Dave is furry.[(triple7)] Dave is smart.[(triple8)] Harry is nice.[(triple9)] Harry is not smart.[(triple11)] Harry is quiet.[(triple10 OR ((((triple9) -> rule3)) -> rule7))] @1: Anne is red.[(((triple2) -> rule3) OR ((((triple1) -> rule4)) -> rule3))] Dave is nice.[(((triple7) -> rule4))] Harry is kind.[(((triple10) -> rule1) OR ((((((triple9) -> rule3)) -> rule7)) -> rule1))] Harry is red.[(((triple9) -> rule3))] @2: Anne is quiet.[(((((triple2) -> rule3)) -> rule7) OR ((((((triple1) -> rule4)) -> rule3)) -> rule7))] Dave is red.[(((((triple7) -> rule4)) -> rule3))] Harry is rough.[(((((triple10) -> rule1)) -> rule5) OR ((((triple10) -> rule1) triple10) -> rule6) OR ((((triple10) -> rule1) ((((triple9) -> rule3)) -> rule7)) -> rule6) OR ((((((((triple9) -> rule3)) -> rule7)) -> rule1)) -> rule5) OR ((((((((triple9) -> rule3)) -> rule7)) -> rule1) triple10) -> rule6) OR ((((((((triple9) -> rule3)) -> rule7)) -> rule1) ((((triple9) -> rule3)) -> rule7)) -> rule6))] @3: Anne is kind.[(((((((triple2) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule4)) -> rule3)) -> rule7)) -> rule1))] Dave is quiet.[(((((((triple7) -> rule4)) -> rule3)) -> rule7))] @4: Dave is kind.[(((((((((triple7) -> rule4)) -> rule3)) -> rule7)) -> rule1))] @5: Dave is rough.[(((((((((((triple7) -> rule4)) -> rule3)) -> rule7)) -> rule1)) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule3)) -> rule7)) -> rule1) ((((((triple7) -> rule4)) -> rule3)) -> rule7)) -> rule6))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
((triple1) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple3
((((((((triple2) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((triple2) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((((((triple2) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule4 % int2))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((((((((triple1) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((((triple1) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((triple2) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((((triple1) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((((triple1) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
((triple5) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
((triple4) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple4 triple5) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple5) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is smart.
("Dave" "is" "smart" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is not smart.
("Harry" "is" "smart" "-")
triple11
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
((((triple9) -> (rule3 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
((triple2) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((triple7) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple10) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((((triple9) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((triple9) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple2) -> (rule3 % int2))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
((((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((((triple10) -> (rule1 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple10) -> (rule1 % int2)) triple10) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple10) -> (rule1 % int4)) ((((triple9) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((((triple9) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((((triple9) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple10) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((((triple9) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((triple9) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
((((((triple2) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((((triple1) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
((((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
((((((((triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
((((((((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((((triple7) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5