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