Anne is nice. Anne is round. Anne is white. Charlie is nice. Charlie is rough. Fiona is kind. Harry is white. Rough, round people are big. Quiet, white people are rough. Round people are quiet. Round people are quiet. If someone is white then they are round. All big people are nice. All round, white people are not kind.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Harry is white.
("Harry" "is" "white" "+")
Rough, round people are big.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Quiet, white people are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
Round people are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Round people are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If someone is white then they are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
All round, white people are not kind.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "-"))
Anne is round.
True
1
proof
[(triple2 OR ((triple3) -> rule5))]
("Anne" "is" "round" "+")
triple2
((triple3) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not white.
False
1
inv-proof
[(triple3)]
("Anne" "is" "white" "-")
triple3
Anne is not kind.
True
3
proof
[(((triple2 triple3) -> rule7) OR ((((triple3) -> rule5) triple3) -> rule7))]
("Anne" "is" "kind" "-")
((triple2 triple3) -> (rule7 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
((((triple3) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Harry is not round.
False
2
inv-proof
[(((triple7) -> rule5))]
("Harry" "is" "round" "-")
((triple7) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Anne is rough.
True
4
proof
[(((((triple2) -> rule3) triple3) -> rule2) OR ((((triple2) -> rule4) triple3) -> rule2) OR ((((((triple3) -> rule5)) -> rule3) triple3) -> rule2) OR ((((((triple3) -> rule5)) -> rule4) triple3) -> rule2))]
("Anne" "is" "rough" "+")
((((triple2) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple2) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((((triple3) -> (rule5 % int3))) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple3) -> (rule5 % int3))) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Harry is not quiet.
False
3
inv-proof
[(((((triple7) -> rule5)) -> rule3) OR ((((triple7) -> rule5)) -> rule4))]
("Harry" "is" "quiet" "-")
((((triple7) -> (rule5 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Anne is big.
True
6
proof
[(((((((triple2) -> rule3) triple3) -> rule2) triple2) -> rule1) OR ((((((triple2) -> rule4) triple3) -> rule2) triple2) -> rule1) OR ((((((triple2) -> rule3) triple3) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((triple2) -> rule4) triple3) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((((triple3) -> rule5)) -> rule3) triple3) -> rule2) triple2) -> rule1) OR ((((((((triple3) -> rule5)) -> rule4) triple3) -> rule2) triple2) -> rule1) OR ((((((((triple3) -> rule5)) -> rule3) triple3) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((((triple3) -> rule5)) -> rule4) triple3) -> rule2) ((triple3) -> rule5)) -> rule1))]
("Anne" "is" "big" "+")
((((((triple2) -> (rule3 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple2) -> (rule4 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple2) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((triple2) -> (rule4 % int4)) triple3) -> (rule2 % int3)) ((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple3) -> (rule5 % int4))) -> (rule3 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple3) -> (rule5 % int4))) -> (rule3 % int3)) triple3) -> (rule2 % int2)) ((triple3) -> (rule5 % int4))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) triple3) -> (rule2 % int2)) ((triple3) -> (rule5 % int4))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Harry is not rough.
False
5
inv-proof
[(((((((triple7) -> rule5)) -> rule3) triple7) -> rule2) OR ((((((triple7) -> rule5)) -> rule4) triple7) -> rule2))]
("Harry" "is" "rough" "-")
((((((triple7) -> (rule5 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple7) -> (rule5 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
True
8
proof
[(((((((((triple7) -> rule5)) -> rule3) triple7) -> rule2) ((triple7) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5)) -> rule4) triple7) -> rule2) ((triple7) -> rule5)) -> rule1))]
("Harry" "is" "big" "+")
((((((((triple7) -> (rule5 % int4))) -> (rule3 % int3)) triple7) -> (rule2 % int2)) ((triple7) -> (rule5 % int4))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((((triple7) -> (rule5 % int4))) -> (rule4 % int3)) triple7) -> (rule2 % int2)) ((triple7) -> (rule5 % int4))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is not big.
False
8
inv-proof
[(((((((((triple7) -> rule5)) -> rule3) triple7) -> rule2) ((triple7) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5)) -> rule4) triple7) -> rule2) ((triple7) -> rule5)) -> rule1))]
("Harry" "is" "big" "-")
((((((((triple7) -> (rule5 % int4))) -> (rule3 % int3)) triple7) -> (rule2 % int2)) ((triple7) -> (rule5 % int4))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((((triple7) -> (rule5 % int4))) -> (rule4 % int3)) triple7) -> (rule2 % int2)) ((triple7) -> (rule5 % int4))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
True
9
proof
[(((((((((((triple7) -> rule5)) -> rule3) triple7) -> rule2) ((triple7) -> rule5)) -> rule1)) -> rule6) OR ((((((((((triple7) -> rule5)) -> rule4) triple7) -> rule2) ((triple7) -> rule5)) -> rule1)) -> rule6))]
("Harry" "is" "nice" "+")
((((((((((triple7) -> (rule5 % int5))) -> (rule3 % int4)) triple7) -> (rule2 % int3)) ((triple7) -> (rule5 % int5))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((((triple7) -> (rule5 % int5))) -> (rule4 % int4)) triple7) -> (rule2 % int3)) ((triple7) -> (rule5 % int5))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is not nice.
False
9
inv-proof
[(((((((((((triple7) -> rule5)) -> rule3) triple7) -> rule2) ((triple7) -> rule5)) -> rule1)) -> rule6) OR ((((((((((triple7) -> rule5)) -> rule4) triple7) -> rule2) ((triple7) -> rule5)) -> rule1)) -> rule6))]
("Harry" "is" "nice" "-")
((((((((((triple7) -> (rule5 % int5))) -> (rule3 % int4)) triple7) -> (rule2 % int3)) ((triple7) -> (rule5 % int5))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((((triple7) -> (rule5 % int5))) -> (rule4 % int4)) triple7) -> (rule2 % int3)) ((triple7) -> (rule5 % int5))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is quiet.
Unknown
rconc
[@2: Fiona is quiet.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Fiona" "is" "quiet" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is big.
Unknown
rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Charlie" "is" "big" "+")
Fiona is not big.
Unknown
inv-rconc
[@2: Fiona is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "big" "-")
Charlie is quiet.
Unknown
rconc
[@2: Charlie is quiet.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Charlie" "is" "quiet" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Anne is nice.[(triple1 OR ((((((((triple2) -> rule3) triple3) -> rule2) triple2) -> rule1)) -> rule6) OR ((((((((triple2) -> rule4) triple3) -> rule2) triple2) -> rule1)) -> rule6) OR ((((((((triple2) -> rule3) triple3) -> rule2) ((triple3) -> rule5)) -> rule1)) -> rule6) OR ((((((((triple2) -> rule4) triple3) -> rule2) ((triple3) -> rule5)) -> rule1)) -> rule6) OR ((((((((((triple3) -> rule5)) -> rule3) triple3) -> rule2) triple2) -> rule1)) -> rule6) OR ((((((((((triple3) -> rule5)) -> rule4) triple3) -> rule2) triple2) -> rule1)) -> rule6) OR ((((((((((triple3) -> rule5)) -> rule3) triple3) -> rule2) ((triple3) -> rule5)) -> rule1)) -> rule6) OR ((((((((((triple3) -> rule5)) -> rule4) triple3) -> rule2) ((triple3) -> rule5)) -> rule1)) -> rule6))] Anne is round.[(triple2 OR ((triple3) -> rule5))] Anne is white.[(triple3)] Charlie is nice.[(triple4)] Charlie is rough.[(triple5)] Fiona is kind.[(triple6)] Harry is white.[(triple7)] @1: Anne is not kind.[(((triple2 triple3) -> rule7) OR ((((triple3) -> rule5) triple3) -> rule7))] Anne is quiet.[(((triple2) -> rule3) OR ((triple2) -> rule4) OR ((((triple3) -> rule5)) -> rule3) OR ((((triple3) -> rule5)) -> rule4))] Harry is round.[(((triple7) -> rule5))] @2: Anne is rough.[(((((triple2) -> rule3) triple3) -> rule2) OR ((((triple2) -> rule4) triple3) -> rule2) OR ((((((triple3) -> rule5)) -> rule3) triple3) -> rule2) OR ((((((triple3) -> rule5)) -> rule4) triple3) -> rule2))] Harry is not kind.[(((((triple7) -> rule5) triple7) -> rule7))] Harry is quiet.[(((((triple7) -> rule5)) -> rule3) OR ((((triple7) -> rule5)) -> rule4))] @3: Anne is big.[(((((((triple2) -> rule3) triple3) -> rule2) triple2) -> rule1) OR ((((((triple2) -> rule4) triple3) -> rule2) triple2) -> rule1) OR ((((((triple2) -> rule3) triple3) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((triple2) -> rule4) triple3) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((((triple3) -> rule5)) -> rule3) triple3) -> rule2) triple2) -> rule1) OR ((((((((triple3) -> rule5)) -> rule4) triple3) -> rule2) triple2) -> rule1) OR ((((((((triple3) -> rule5)) -> rule3) triple3) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((((triple3) -> rule5)) -> rule4) triple3) -> rule2) ((triple3) -> rule5)) -> rule1))] Harry is rough.[(((((((triple7) -> rule5)) -> rule3) triple7) -> rule2) OR ((((((triple7) -> rule5)) -> rule4) triple7) -> rule2))] @4: Harry is big.[(((((((((triple7) -> rule5)) -> rule3) triple7) -> rule2) ((triple7) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5)) -> rule4) triple7) -> rule2) ((triple7) -> rule5)) -> rule1))] @5: Harry is nice.[(((((((((((triple7) -> rule5)) -> rule3) triple7) -> rule2) ((triple7) -> rule5)) -> rule1)) -> rule6) OR ((((((((((triple7) -> rule5)) -> rule4) triple7) -> rule2) ((triple7) -> rule5)) -> rule1)) -> rule6))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
((((((((triple2) -> (rule3 % int4)) triple3) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple2) -> (rule4 % int4)) triple3) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple2) -> (rule3 % int5)) triple3) -> (rule2 % int4)) ((triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple2) -> (rule4 % int5)) triple3) -> (rule2 % int4)) ((triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((((((triple3) -> (rule5 % int5))) -> (rule4 % int4)) triple3) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((((((triple3) -> (rule5 % int5))) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((triple3) -> (rule5 % int5))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((((((triple3) -> (rule5 % int5))) -> (rule4 % int4)) triple3) -> (rule2 % int3)) ((triple3) -> (rule5 % int5))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
triple2
((triple3) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Anne is not kind.
("Anne" "is" "kind" "-")
((triple2 triple3) -> (rule7 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
((((triple3) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple2) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple7) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((((triple2) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple2) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((((triple3) -> (rule5 % int3))) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple3) -> (rule5 % int3))) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Harry is not kind.
("Harry" "is" "kind" "-")
((((triple7) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
((((triple7) -> (rule5 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple7) -> (rule5 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
((((((triple2) -> (rule3 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple2) -> (rule4 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple2) -> (rule3 % int4)) triple3) -> (rule2 % int3)) ((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((triple2) -> (rule4 % int4)) triple3) -> (rule2 % int3)) ((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple3) -> (rule5 % int4))) -> (rule3 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple3) -> (rule5 % int4))) -> (rule3 % int3)) triple3) -> (rule2 % int2)) ((triple3) -> (rule5 % int4))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) triple3) -> (rule2 % int2)) ((triple3) -> (rule5 % int4))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
((((((triple7) -> (rule5 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple7) -> (rule5 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((((((((triple7) -> (rule5 % int4))) -> (rule3 % int3)) triple7) -> (rule2 % int2)) ((triple7) -> (rule5 % int4))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((((triple7) -> (rule5 % int4))) -> (rule4 % int3)) triple7) -> (rule2 % int2)) ((triple7) -> (rule5 % int4))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
((((((((((triple7) -> (rule5 % int5))) -> (rule3 % int4)) triple7) -> (rule2 % int3)) ((triple7) -> (rule5 % int5))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((((triple7) -> (rule5 % int5))) -> (rule4 % int4)) triple7) -> (rule2 % int3)) ((triple7) -> (rule5 % int5))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5