Anne is green. Anne is nice. Anne is round. Charlie is furry. Charlie is green. Dave is nice. Dave is young. Gary is furry. Gary is green. Gary is nice. Gary is quiet. Gary is round. Gary is white. Gary is young. Young, furry things are green. All furry, nice things are round. All young things are green. Round things are white. All nice, white things are furry. All young things are nice. Green, young things are quiet. Young, quiet things are white.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Young, furry things are green.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
All furry, nice things are round.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
All young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
Round things are white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
All nice, white things are furry.
((("something" "is" "nice" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
All young things are nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Green, young things are quiet.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
Young, quiet things are white.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
Dave is nice.
True
1
proof
[(triple6 OR ((triple7) -> rule6))]
("Dave" "is" "nice" "+")
triple6
((triple7) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not young.
False
1
inv-proof
[(triple7)]
("Dave" "is" "young" "-")
triple7
Anne is white.
True
2
proof
[(((triple3) -> rule4))]
("Anne" "is" "white" "+")
((triple3) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Dave is not green.
False
2
inv-proof
[(((triple7) -> rule3))]
("Dave" "is" "green" "-")
((triple7) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is quiet.
True
4
proof
[(((((triple7) -> rule3) triple7) -> rule7))]
("Dave" "is" "quiet" "+")
((((triple7) -> (rule3 % int2)) triple7) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not quiet.
False
4
inv-proof
[(((((triple7) -> rule3) triple7) -> rule7))]
("Dave" "is" "quiet" "-")
((((triple7) -> (rule3 % int2)) triple7) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
True
6
proof
[(((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8))]
("Dave" "is" "white" "+")
((triple7 ((((triple7) -> (rule3 % int3)) triple7) -> (rule7 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not white.
False
6
inv-proof
[(((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8))]
("Dave" "is" "white" "-")
((triple7 ((((triple7) -> (rule3 % int3)) triple7) -> (rule7 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
True
8
proof
[(((triple6 ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5) OR ((((triple7) -> rule6) ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5))]
("Dave" "is" "furry" "+")
((triple6 ((triple7 ((((triple7) -> (rule3 % int4)) triple7) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((triple7) -> (rule6 % int5)) ((triple7 ((((triple7) -> (rule3 % int4)) triple7) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is not furry.
False
8
inv-proof
[(((triple6 ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5) OR ((((triple7) -> rule6) ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5))]
("Dave" "is" "furry" "-")
((triple6 ((triple7 ((((triple7) -> (rule3 % int4)) triple7) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((triple7) -> (rule6 % int5)) ((triple7 ((((triple7) -> (rule3 % int4)) triple7) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is round.
True
10
proof
[(((((triple6 ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5) triple6) -> rule2) OR ((((triple6 ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5) ((triple7) -> rule6)) -> rule2) OR ((((((triple7) -> rule6) ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5) triple6) -> rule2) OR ((((((triple7) -> rule6) ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5) ((triple7) -> rule6)) -> rule2))]
("Dave" "is" "round" "+")
((((triple6 ((triple7 ((((triple7) -> (rule3 % int5)) triple7) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((triple6 ((triple7 ((((triple7) -> (rule3 % int6)) triple7) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) ((triple7) -> (rule6 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((triple7) -> (rule6 % int6)) ((triple7 ((((triple7) -> (rule3 % int5)) triple7) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
int6
((((((triple7) -> (rule6 % int6)) ((triple7 ((((triple7) -> (rule3 % int5)) triple7) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple7) -> (rule6 % int6))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
int6
Dave is not round.
False
10
inv-proof
[(((((triple6 ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5) triple6) -> rule2) OR ((((triple6 ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5) ((triple7) -> rule6)) -> rule2) OR ((((((triple7) -> rule6) ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5) triple6) -> rule2) OR ((((((triple7) -> rule6) ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5) ((triple7) -> rule6)) -> rule2))]
("Dave" "is" "round" "-")
((((triple6 ((triple7 ((((triple7) -> (rule3 % int5)) triple7) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((triple6 ((triple7 ((((triple7) -> (rule3 % int6)) triple7) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) ((triple7) -> (rule6 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((triple7) -> (rule6 % int6)) ((triple7 ((((triple7) -> (rule3 % int5)) triple7) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
int6
((((((triple7) -> (rule6 % int6)) ((triple7 ((((triple7) -> (rule3 % int5)) triple7) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple7) -> (rule6 % int6))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
int6
Charlie is not white.
Unknown
inv-rconc
[@3: Charlie is white.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule6 <- FAIL)]]
("Charlie" "is" "white" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "nice" "+")
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "quiet" "-")
Charlie is round.
Unknown
rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not quiet.
Unknown
inv-rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Dave is nice.[(triple6 OR ((triple7) -> rule6))] Dave is young.[(triple7)] Gary is furry.[(triple8 OR ((triple10 triple13) -> rule5) OR ((triple10 ((triple12) -> rule4)) -> rule5) OR ((triple10 ((triple14 triple11) -> rule8)) -> rule5) OR ((((triple14) -> rule6) triple13) -> rule5) OR ((((triple14) -> rule6) ((triple12) -> rule4)) -> rule5) OR ((((triple14) -> rule6) ((triple14 triple11) -> rule8)) -> rule5) OR ((triple10 ((triple14 ((triple9 triple14) -> rule7)) -> rule8)) -> rule5) OR ((((triple14) -> rule6) ((triple14 ((triple9 triple14) -> rule7)) -> rule8)) -> rule5) OR ((triple10 ((triple14 ((((triple14) -> rule3) triple14) -> rule7)) -> rule8)) -> rule5) OR ((((triple14) -> rule6) ((triple14 ((((triple14) -> rule3) triple14) -> rule7)) -> rule8)) -> rule5))] Gary is green.[(triple9 OR ((triple14) -> rule3) OR ((triple14 triple8) -> rule1) OR ((triple14 ((triple10 triple13) -> rule5)) -> rule1) OR ((triple14 ((triple10 ((triple12) -> rule4)) -> rule5)) -> rule1) OR ((triple14 ((triple10 ((triple14 triple11) -> rule8)) -> rule5)) -> rule1) OR ((triple14 ((((triple14) -> rule6) triple13) -> rule5)) -> rule1) OR ((triple14 ((((triple14) -> rule6) ((triple12) -> rule4)) -> rule5)) -> rule1) OR ((triple14 ((((triple14) -> rule6) ((triple14 triple11) -> rule8)) -> rule5)) -> rule1))] Gary is nice.[(triple10 OR ((triple14) -> rule6))] Gary is quiet.[(triple11 OR ((triple9 triple14) -> rule7) OR ((((triple14) -> rule3) triple14) -> rule7) OR ((((triple14 triple8) -> rule1) triple14) -> rule7) OR ((((triple14 ((triple10 triple13) -> rule5)) -> rule1) triple14) -> rule7) OR ((((triple14 ((triple10 ((triple12) -> rule4)) -> rule5)) -> rule1) triple14) -> rule7) OR ((((triple14 ((((triple14) -> rule6) triple13) -> rule5)) -> rule1) triple14) -> rule7) OR ((((triple14 ((((triple14) -> rule6) ((triple12) -> rule4)) -> rule5)) -> rule1) triple14) -> rule7))] Gary is round.[(triple12 OR ((triple8 triple10) -> rule2) OR ((triple8 ((triple14) -> rule6)) -> rule2) OR ((((triple10 triple13) -> rule5) triple10) -> rule2) OR ((((triple10 triple13) -> rule5) ((triple14) -> rule6)) -> rule2) OR ((((triple10 ((triple14 triple11) -> rule8)) -> rule5) triple10) -> rule2) OR ((((((triple14) -> rule6) triple13) -> rule5) triple10) -> rule2) OR ((((triple10 ((triple14 triple11) -> rule8)) -> rule5) ((triple14) -> rule6)) -> rule2) OR ((((((triple14) -> rule6) triple13) -> rule5) ((triple14) -> rule6)) -> rule2) OR ((((((triple14) -> rule6) ((triple14 triple11) -> rule8)) -> rule5) triple10) -> rule2) OR ((((((triple14) -> rule6) ((triple14 triple11) -> rule8)) -> rule5) ((triple14) -> rule6)) -> rule2) OR ((((triple10 ((triple14 ((triple9 triple14) -> rule7)) -> rule8)) -> rule5) triple10) -> rule2) OR ((((triple10 ((triple14 ((triple9 triple14) -> rule7)) -> rule8)) -> rule5) ((triple14) -> rule6)) -> rule2) OR ((((((triple14) -> rule6) ((triple14 ((triple9 triple14) -> rule7)) -> rule8)) -> rule5) triple10) -> rule2) OR ((((((triple14) -> rule6) ((triple14 ((triple9 triple14) -> rule7)) -> rule8)) -> rule5) ((triple14) -> rule6)) -> rule2) OR ((((triple10 ((triple14 ((((triple14) -> rule3) triple14) -> rule7)) -> rule8)) -> rule5) triple10) -> rule2) OR ((((triple10 ((triple14 ((((triple14) -> rule3) triple14) -> rule7)) -> rule8)) -> rule5) ((triple14) -> rule6)) -> rule2) OR ((((((triple14) -> rule6) ((triple14 ((((triple14) -> rule3) triple14) -> rule7)) -> rule8)) -> rule5) triple10) -> rule2) OR ((((((triple14) -> rule6) ((triple14 ((((triple14) -> rule3) triple14) -> rule7)) -> rule8)) -> rule5) ((triple14) -> rule6)) -> rule2))] Gary is white.[(triple13 OR ((triple12) -> rule4) OR ((triple14 triple11) -> rule8) OR ((((triple8 triple10) -> rule2)) -> rule4) OR ((triple14 ((triple9 triple14) -> rule7)) -> rule8) OR ((((triple8 ((triple14) -> rule6)) -> rule2)) -> rule4) OR ((triple14 ((((triple14) -> rule3) triple14) -> rule7)) -> rule8) OR ((triple14 ((((triple14 triple8) -> rule1) triple14) -> rule7)) -> rule8))] Gary is young.[(triple14)] @1: Anne is white.[(((triple3) -> rule4))] Dave is green.[(((triple7) -> rule3))] @2: Anne is furry.[(((triple2 ((triple3) -> rule4)) -> rule5))] Dave is quiet.[(((((triple7) -> rule3) triple7) -> rule7))] @3: Dave is white.[(((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8))] @4: Dave is furry.[(((triple6 ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5) OR ((((triple7) -> rule6) ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5))] @5: Dave is round.[(((((triple6 ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5) triple6) -> rule2) OR ((((triple6 ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5) ((triple7) -> rule6)) -> rule2) OR ((((((triple7) -> rule6) ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5) triple6) -> rule2) OR ((((((triple7) -> rule6) ((triple7 ((((triple7) -> rule3) triple7) -> rule7)) -> rule8)) -> rule5) ((triple7) -> rule6)) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
((triple7) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
((triple10 triple13) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple10 ((triple12) -> (rule4 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((triple10 ((triple14 triple11) -> (rule8 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple14) -> (rule6 % int2)) triple13) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple14) -> (rule6 % int3)) ((triple12) -> (rule4 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple14) -> (rule6 % int3)) ((triple14 triple11) -> (rule8 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((triple10 ((triple14 ((triple9 triple14) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple14) -> (rule6 % int4)) ((triple14 ((triple9 triple14) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((triple10 ((triple14 ((((triple14) -> (rule3 % int4)) triple14) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple14) -> (rule6 % int5)) ((triple14 ((((triple14) -> (rule3 % int4)) triple14) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
triple9
((triple14) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple14 triple8) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple14 ((triple10 triple13) -> (rule5 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((triple14 ((triple10 ((triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((triple14 ((triple10 ((triple14 triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((triple14 ((((triple14) -> (rule6 % int3)) triple13) -> (rule5 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((triple14 ((((triple14) -> (rule6 % int4)) ((triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((triple14 ((((triple14) -> (rule6 % int4)) ((triple14 triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
triple10
((triple14) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
((triple9 triple14) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple14) -> (rule3 % int2)) triple14) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple14 triple8) -> (rule1 % int2)) triple14) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple14 ((triple10 triple13) -> (rule5 % int3))) -> (rule1 % int2)) triple14) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple14 ((triple10 ((triple12) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple14) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple14 ((((triple14) -> (rule6 % int4)) triple13) -> (rule5 % int3))) -> (rule1 % int2)) triple14) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple14 ((((triple14) -> (rule6 % int5)) ((triple12) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple14) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
triple12
((triple8 triple10) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple8 ((triple14) -> (rule6 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple10 triple13) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple10 triple13) -> (rule5 % int3)) ((triple14) -> (rule6 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple10 ((triple14 triple11) -> (rule8 % int3))) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((((triple14) -> (rule6 % int3)) triple13) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple10 ((triple14 triple11) -> (rule8 % int4))) -> (rule5 % int3)) ((triple14) -> (rule6 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple14) -> (rule6 % int3)) triple13) -> (rule5 % int2)) ((triple14) -> (rule6 % int3))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple14) -> (rule6 % int4)) ((triple14 triple11) -> (rule8 % int3))) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple14) -> (rule6 % int4)) ((triple14 triple11) -> (rule8 % int3))) -> (rule5 % int2)) ((triple14) -> (rule6 % int4))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple10 ((triple14 ((triple9 triple14) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple10 ((triple14 ((triple9 triple14) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) ((triple14) -> (rule6 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple14) -> (rule6 % int5)) ((triple14 ((triple9 triple14) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple14) -> (rule6 % int5)) ((triple14 ((triple9 triple14) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple14) -> (rule6 % int5))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((triple10 ((triple14 ((((triple14) -> (rule3 % int5)) triple14) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((triple10 ((triple14 ((((triple14) -> (rule3 % int6)) triple14) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) ((triple14) -> (rule6 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((triple14) -> (rule6 % int6)) ((triple14 ((((triple14) -> (rule3 % int5)) triple14) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple14) -> (rule6 % int6)) ((triple14 ((((triple14) -> (rule3 % int5)) triple14) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple14) -> (rule6 % int6))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
Gary is white.
("Gary" "is" "white" "+")
triple13
((triple12) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple14 triple11) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple8 triple10) -> (rule2 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple14 ((triple9 triple14) -> (rule7 % int2))) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple8 ((triple14) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((triple14 ((((triple14) -> (rule3 % int3)) triple14) -> (rule7 % int2))) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple14 ((((triple14 triple8) -> (rule1 % int3)) triple14) -> (rule7 % int2))) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
triple14
Anne is white.
("Anne" "is" "white" "+")
((triple3) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple7) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((triple2 ((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple7) -> (rule3 % int2)) triple7) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
((triple7 ((((triple7) -> (rule3 % int3)) triple7) -> (rule7 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
((triple6 ((triple7 ((((triple7) -> (rule3 % int4)) triple7) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((triple7) -> (rule6 % int5)) ((triple7 ((((triple7) -> (rule3 % int4)) triple7) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
((((triple6 ((triple7 ((((triple7) -> (rule3 % int5)) triple7) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((triple6 ((triple7 ((((triple7) -> (rule3 % int6)) triple7) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) ((triple7) -> (rule6 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((triple7) -> (rule6 % int6)) ((triple7 ((((triple7) -> (rule3 % int5)) triple7) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
int6
((((((triple7) -> (rule6 % int6)) ((triple7 ((((triple7) -> (rule3 % int5)) triple7) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple7) -> (rule6 % int6))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
int6