Anne is nice. Anne is rough. Bob is round. Bob is white. Bob is young. Erin is white. Harry is rough. Harry is round. Harry is white. Harry is young. All rough people are quiet. All rough, round people are furry. Young, white people are round. All nice, white people are young. If someone is quiet then they are white. Rough, white people are nice.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All rough people are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
All rough, round people are furry.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Young, white people are round.
((("someone" "is" "young" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All nice, white people are young.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
If someone is quiet then they are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
Rough, white people are nice.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
Erin is white.
True
1
proof
[(triple6)]
("Erin" "is" "white" "+")
triple6
Bob is not round.
False
1
inv-proof
[(triple3 OR ((triple5 triple4) -> rule3))]
("Bob" "is" "round" "-")
triple3
((triple5 triple4) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Harry is nice.
True
3
proof
[(((triple7 triple9) -> rule6) OR ((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6))]
("Harry" "is" "nice" "+")
((triple7 triple9) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple7 ((((triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is not furry.
False
3
inv-proof
[(((triple7 triple8) -> rule2) OR ((triple7 ((triple10 triple9) -> rule3)) -> rule2) OR ((triple7 ((triple10 ((((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule2) OR ((triple7 ((((((triple7 triple9) -> rule6) triple9) -> rule4) triple9) -> rule3)) -> rule2) OR ((triple7 ((((((triple7 triple9) -> rule6) triple9) -> rule4) ((((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule2) OR ((triple7 ((((((triple7 triple9) -> rule6) ((((triple7) -> rule1)) -> rule5)) -> rule4) triple9) -> rule3)) -> rule2) OR ((triple7 ((((((triple7 triple9) -> rule6) ((((triple7) -> rule1)) -> rule5)) -> rule4) ((((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule2) OR ((triple7 ((((((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6) triple9) -> rule4) triple9) -> rule3)) -> rule2) OR ((triple7 ((((((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6) triple9) -> rule4) ((((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule2) OR ((triple7 ((((((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6) ((((triple7) -> rule1)) -> rule5)) -> rule4) triple9) -> rule3)) -> rule2) OR ((triple7 ((((((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6) ((((triple7) -> rule1)) -> rule5)) -> rule4) ((((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule2))]
("Harry" "is" "furry" "-")
((triple7 triple8) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple7 ((triple10 triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple7 ((triple10 ((((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((triple7 ((((((triple7 triple9) -> (rule6 % int4)) triple9) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((triple7 ((((((triple7 triple9) -> (rule6 % int6)) triple9) -> (rule4 % int5)) ((((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple7 ((((((triple7 triple9) -> (rule6 % int6)) ((((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple7 ((((((triple7 triple9) -> (rule6 % int6)) ((((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple7 ((((((triple7 ((((triple7) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) triple9) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((triple7 ((((((triple7 ((((triple7) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) triple9) -> (rule4 % int3)) ((((triple7) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((triple7 ((((((triple7 ((((triple7) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((triple7 ((((((triple7 ((((triple7) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule4 % int3)) ((((triple7) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
Anne is white.
True
3
proof
[(((((triple2) -> rule1)) -> rule5))]
("Anne" "is" "white" "+")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is not white.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule5))]
("Anne" "is" "white" "-")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
True
5
proof
[(((triple1 ((((triple2) -> rule1)) -> rule5)) -> rule4) OR ((((triple2 ((((triple2) -> rule1)) -> rule5)) -> rule6) ((((triple2) -> rule1)) -> rule5)) -> rule4))]
("Anne" "is" "young" "+")
((triple1 ((((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((triple2 ((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is not young.
False
5
inv-proof
[(((triple1 ((((triple2) -> rule1)) -> rule5)) -> rule4) OR ((((triple2 ((((triple2) -> rule1)) -> rule5)) -> rule6) ((((triple2) -> rule1)) -> rule5)) -> rule4))]
("Anne" "is" "young" "-")
((triple1 ((((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((triple2 ((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
True
9
proof
[(((((triple1 ((((triple2) -> rule1)) -> rule5)) -> rule4) ((((triple2) -> rule1)) -> rule5)) -> rule3) OR ((((((triple2 ((((triple2) -> rule1)) -> rule5)) -> rule6) ((((triple2) -> rule1)) -> rule5)) -> rule4) ((((triple2) -> rule1)) -> rule5)) -> rule3))]
("Anne" "is" "round" "+")
((((triple1 ((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((triple2 ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int2)) ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is not round.
False
9
inv-proof
[(((((triple1 ((((triple2) -> rule1)) -> rule5)) -> rule4) ((((triple2) -> rule1)) -> rule5)) -> rule3) OR ((((((triple2 ((((triple2) -> rule1)) -> rule5)) -> rule6) ((((triple2) -> rule1)) -> rule5)) -> rule4) ((((triple2) -> rule1)) -> rule5)) -> rule3))]
("Anne" "is" "round" "-")
((((triple1 ((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((triple2 ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int2)) ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is furry.
True
11
proof
[(((triple2 ((((triple1 ((((triple2) -> rule1)) -> rule5)) -> rule4) ((((triple2) -> rule1)) -> rule5)) -> rule3)) -> rule2) OR ((triple2 ((((((triple2 ((((triple2) -> rule1)) -> rule5)) -> rule6) ((((triple2) -> rule1)) -> rule5)) -> rule4) ((((triple2) -> rule1)) -> rule5)) -> rule3)) -> rule2))]
("Anne" "is" "furry" "+")
((triple2 ((((triple1 ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((triple2 ((((((triple2 ((((triple2) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple2) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule4 % int3)) ((((triple2) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
Anne is not furry.
False
11
inv-proof
[(((triple2 ((((triple1 ((((triple2) -> rule1)) -> rule5)) -> rule4) ((((triple2) -> rule1)) -> rule5)) -> rule3)) -> rule2) OR ((triple2 ((((((triple2 ((((triple2) -> rule1)) -> rule5)) -> rule6) ((((triple2) -> rule1)) -> rule5)) -> rule4) ((((triple2) -> rule1)) -> rule5)) -> rule3)) -> rule2))]
("Anne" "is" "furry" "-")
((triple2 ((((triple1 ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((triple2 ((((((triple2 ((((triple2) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple2) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule4 % int3)) ((((triple2) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "nice" "-")
Erin is quiet.
Unknown
rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "quiet" "+")
Erin is not round.
Unknown
inv-rconc
[@3: Erin is round.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule6 <- FAIL)]]
("Erin" "is" "round" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "furry" "+")
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "nice" "-")
Bob is quiet.
Unknown
rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "quiet" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Anne is nice.[(triple1 OR ((triple2 ((((triple2) -> rule1)) -> rule5)) -> rule6))] Anne is rough.[(triple2)] Bob is round.[(triple3 OR ((triple5 triple4) -> rule3))] Bob is white.[(triple4)] Bob is young.[(triple5)] Erin is white.[(triple6)] Harry is rough.[(triple7)] Harry is round.[(triple8 OR ((triple10 triple9) -> rule3) OR ((triple10 ((((triple7) -> rule1)) -> rule5)) -> rule3) OR ((((((triple7 triple9) -> rule6) triple9) -> rule4) triple9) -> rule3) OR ((((((triple7 triple9) -> rule6) triple9) -> rule4) ((((triple7) -> rule1)) -> rule5)) -> rule3) OR ((((((triple7 triple9) -> rule6) ((((triple7) -> rule1)) -> rule5)) -> rule4) triple9) -> rule3) OR ((((((triple7 triple9) -> rule6) ((((triple7) -> rule1)) -> rule5)) -> rule4) ((((triple7) -> rule1)) -> rule5)) -> rule3) OR ((((((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6) triple9) -> rule4) triple9) -> rule3) OR ((((((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6) triple9) -> rule4) ((((triple7) -> rule1)) -> rule5)) -> rule3) OR ((((((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6) ((((triple7) -> rule1)) -> rule5)) -> rule4) triple9) -> rule3) OR ((((((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6) ((((triple7) -> rule1)) -> rule5)) -> rule4) ((((triple7) -> rule1)) -> rule5)) -> rule3))] Harry is white.[(triple9 OR ((((triple7) -> rule1)) -> rule5))] Harry is young.[(triple10 OR ((((triple7 triple9) -> rule6) triple9) -> rule4) OR ((((triple7 triple9) -> rule6) ((((triple7) -> rule1)) -> rule5)) -> rule4) OR ((((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6) triple9) -> rule4) OR ((((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6) ((((triple7) -> rule1)) -> rule5)) -> rule4))] @1: Anne is quiet.[(((triple2) -> rule1))] Harry is furry.[(((triple7 triple8) -> rule2) OR ((triple7 ((triple10 triple9) -> rule3)) -> rule2) OR ((triple7 ((triple10 ((((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule2) OR ((triple7 ((((((triple7 triple9) -> rule6) triple9) -> rule4) triple9) -> rule3)) -> rule2) OR ((triple7 ((((((triple7 triple9) -> rule6) triple9) -> rule4) ((((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule2) OR ((triple7 ((((((triple7 triple9) -> rule6) ((((triple7) -> rule1)) -> rule5)) -> rule4) triple9) -> rule3)) -> rule2) OR ((triple7 ((((((triple7 triple9) -> rule6) ((((triple7) -> rule1)) -> rule5)) -> rule4) ((((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule2) OR ((triple7 ((((((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6) triple9) -> rule4) triple9) -> rule3)) -> rule2) OR ((triple7 ((((((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6) triple9) -> rule4) ((((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule2) OR ((triple7 ((((((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6) ((((triple7) -> rule1)) -> rule5)) -> rule4) triple9) -> rule3)) -> rule2) OR ((triple7 ((((((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6) ((((triple7) -> rule1)) -> rule5)) -> rule4) ((((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule2))] Harry is nice.[(((triple7 triple9) -> rule6) OR ((triple7 ((((triple7) -> rule1)) -> rule5)) -> rule6))] Harry is quiet.[(((triple7) -> rule1))] @2: Anne is white.[(((((triple2) -> rule1)) -> rule5))] @3: Anne is young.[(((triple1 ((((triple2) -> rule1)) -> rule5)) -> rule4) OR ((((triple2 ((((triple2) -> rule1)) -> rule5)) -> rule6) ((((triple2) -> rule1)) -> rule5)) -> rule4))] @4: Anne is round.[(((((triple1 ((((triple2) -> rule1)) -> rule5)) -> rule4) ((((triple2) -> rule1)) -> rule5)) -> rule3) OR ((((((triple2 ((((triple2) -> rule1)) -> rule5)) -> rule6) ((((triple2) -> rule1)) -> rule5)) -> rule4) ((((triple2) -> rule1)) -> rule5)) -> rule3))] @5: Anne is furry.[(((triple2 ((((triple1 ((((triple2) -> rule1)) -> rule5)) -> rule4) ((((triple2) -> rule1)) -> rule5)) -> rule3)) -> rule2) OR ((triple2 ((((((triple2 ((((triple2) -> rule1)) -> rule5)) -> rule6) ((((triple2) -> rule1)) -> rule5)) -> rule4) ((((triple2) -> rule1)) -> rule5)) -> rule3)) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
((triple2 ((((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
((triple5 triple4) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple8
((triple10 triple9) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple10 ((((triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple7 triple9) -> (rule6 % int3)) triple9) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple7 triple9) -> (rule6 % int5)) triple9) -> (rule4 % int4)) ((((triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple7 triple9) -> (rule6 % int5)) ((((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple7 triple9) -> (rule6 % int5)) ((((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple7 ((((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) triple9) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((triple7 ((((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) triple9) -> (rule4 % int2)) ((((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((triple7 ((((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((triple7 ((((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int2)) ((((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is white.
("Harry" "is" "white" "+")
triple9
((((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple10
((((triple7 triple9) -> (rule6 % int2)) triple9) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple7 triple9) -> (rule6 % int4)) ((((triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple7 ((((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple9) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple7 ((((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple7 triple8) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple7 ((triple10 triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple7 ((triple10 ((((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((triple7 ((((((triple7 triple9) -> (rule6 % int4)) triple9) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((triple7 ((((((triple7 triple9) -> (rule6 % int6)) triple9) -> (rule4 % int5)) ((((triple7) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple7 ((((((triple7 triple9) -> (rule6 % int6)) ((((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple7 ((((((triple7 triple9) -> (rule6 % int6)) ((((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((triple7 ((((((triple7 ((((triple7) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) triple9) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((triple7 ((((((triple7 ((((triple7) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) triple9) -> (rule4 % int3)) ((((triple7) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((triple7 ((((((triple7 ((((triple7) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((triple7 ((((((triple7 ((((triple7) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule4 % int3)) ((((triple7) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
Harry is nice.
("Harry" "is" "nice" "+")
((triple7 triple9) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple7 ((((triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple7) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
((triple1 ((((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((triple2 ((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
((((triple1 ((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((triple2 ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int2)) ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
((triple2 ((((triple1 ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((triple2 ((((((triple2 ((((triple2) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule6 % int4)) ((((triple2) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule4 % int3)) ((((triple2) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6