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