Charlie is green. Charlie is nice. Charlie is smart. Dave is green. Dave is nice. Dave is red. Dave is smart. Dave is white. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Erin is white. Gary is green. Gary is red. Gary is white. All quiet, nice things are smart. All quiet things are smart. Nice, red things are round. Red things are nice. All nice, round things are quiet. If something is green and quiet then it is smart.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
All quiet, nice things are smart.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
All quiet things are smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
Nice, red things are round.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
Red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
All nice, round things are quiet.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
If something is green and quiet then it is smart.
((("something" "is" "green" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
Dave is red.
True
1
proof
[(triple6)]
("Dave" "is" "red" "+")
triple6
Erin is not quiet.
False
1
inv-proof
[(triple10 OR ((triple9 ((triple9 triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule4) ((triple9 triple11) -> rule3)) -> rule5) OR ((triple9 ((((triple11) -> rule4) triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule4) ((((triple11) -> rule4) triple11) -> rule3)) -> rule5))]
("Erin" "is" "quiet" "-")
triple10
((triple9 ((triple9 triple11) -> (rule3 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple11) -> (rule4 % int3)) ((triple9 triple11) -> (rule3 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((triple9 ((((triple11) -> (rule4 % int3)) triple11) -> (rule3 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple11) -> (rule4 % int3)) ((((triple11) -> (rule4 % int3)) triple11) -> (rule3 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Gary is nice.
True
2
proof
[(((triple15) -> rule4))]
("Gary" "is" "nice" "+")
((triple15) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Erin is not round.
False
3
inv-proof
[(((triple9 triple11) -> rule3) OR ((((triple11) -> rule4) triple11) -> rule3))]
("Erin" "is" "round" "-")
((triple9 triple11) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple11) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Gary is round.
True
4
proof
[(((((triple15) -> rule4) triple15) -> rule3))]
("Gary" "is" "round" "+")
((((triple15) -> (rule4 % int2)) triple15) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not round.
False
4
inv-proof
[(((((triple15) -> rule4) triple15) -> rule3))]
("Gary" "is" "round" "-")
((((triple15) -> (rule4 % int2)) triple15) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
True
7
proof
[(((((triple15) -> rule4) ((((triple15) -> rule4) triple15) -> rule3)) -> rule5))]
("Gary" "is" "quiet" "+")
((((triple15) -> (rule4 % int3)) ((((triple15) -> (rule4 % int3)) triple15) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not quiet.
False
7
inv-proof
[(((((triple15) -> rule4) ((((triple15) -> rule4) triple15) -> rule3)) -> rule5))]
("Gary" "is" "quiet" "-")
((((triple15) -> (rule4 % int3)) ((((triple15) -> (rule4 % int3)) triple15) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Charlie is not quiet.
Unknown
inv-rconc
[@2: Charlie is quiet.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "round" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is smart.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5 OR ((triple6) -> rule4))] Dave is red.[(triple6)] Dave is smart.[(triple7 OR ((((triple5 ((triple5 triple6) -> rule3)) -> rule5)) -> rule2) OR ((triple4 ((triple5 ((triple5 triple6) -> rule3)) -> rule5)) -> rule6) OR ((((triple5 ((triple5 triple6) -> rule3)) -> rule5) triple5) -> rule1) OR ((((((triple6) -> rule4) ((triple5 triple6) -> rule3)) -> rule5)) -> rule2) OR ((triple4 ((((triple6) -> rule4) ((triple5 triple6) -> rule3)) -> rule5)) -> rule6) OR ((((triple5 ((triple5 triple6) -> rule3)) -> rule5) ((triple6) -> rule4)) -> rule1) OR ((((((triple6) -> rule4) ((triple5 triple6) -> rule3)) -> rule5) triple5) -> rule1) OR ((((((triple6) -> rule4) ((triple5 triple6) -> rule3)) -> rule5) ((triple6) -> rule4)) -> rule1) OR ((((triple5 ((((triple6) -> rule4) triple6) -> rule3)) -> rule5)) -> rule2) OR ((triple4 ((triple5 ((((triple6) -> rule4) triple6) -> rule3)) -> rule5)) -> rule6) OR ((((triple5 ((((triple6) -> rule4) triple6) -> rule3)) -> rule5) triple5) -> rule1) OR ((((((triple6) -> rule4) ((((triple6) -> rule4) triple6) -> rule3)) -> rule5)) -> rule2) OR ((triple4 ((((triple6) -> rule4) ((((triple6) -> rule4) triple6) -> rule3)) -> rule5)) -> rule6) OR ((((triple5 ((((triple6) -> rule4) triple6) -> rule3)) -> rule5) ((triple6) -> rule4)) -> rule1) OR ((((((triple6) -> rule4) ((((triple6) -> rule4) triple6) -> rule3)) -> rule5) triple5) -> rule1) OR ((((((triple6) -> rule4) ((((triple6) -> rule4) triple6) -> rule3)) -> rule5) ((triple6) -> rule4)) -> rule1))] Dave is white.[(triple8)] Erin is nice.[(triple9 OR ((triple11) -> rule4))] Erin is quiet.[(triple10 OR ((triple9 ((triple9 triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule4) ((triple9 triple11) -> rule3)) -> rule5) OR ((triple9 ((((triple11) -> rule4) triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule4) ((((triple11) -> rule4) triple11) -> rule3)) -> rule5))] Erin is red.[(triple11)] Erin is smart.[(triple12 OR ((triple10) -> rule2) OR ((triple10 triple9) -> rule1) OR ((triple10 ((triple11) -> rule4)) -> rule1) OR ((((triple9 ((triple9 triple11) -> rule3)) -> rule5)) -> rule2) OR ((((triple9 ((triple9 triple11) -> rule3)) -> rule5) triple9) -> rule1) OR ((((((triple11) -> rule4) ((triple9 triple11) -> rule3)) -> rule5)) -> rule2) OR ((((triple9 ((triple9 triple11) -> rule3)) -> rule5) ((triple11) -> rule4)) -> rule1) OR ((((((triple11) -> rule4) ((triple9 triple11) -> rule3)) -> rule5) triple9) -> rule1) OR ((((((triple11) -> rule4) ((triple9 triple11) -> rule3)) -> rule5) ((triple11) -> rule4)) -> rule1) OR ((((triple9 ((((triple11) -> rule4) triple11) -> rule3)) -> rule5)) -> rule2) OR ((((triple9 ((((triple11) -> rule4) triple11) -> rule3)) -> rule5) triple9) -> rule1) OR ((((((triple11) -> rule4) ((((triple11) -> rule4) triple11) -> rule3)) -> rule5)) -> rule2) OR ((((triple9 ((((triple11) -> rule4) triple11) -> rule3)) -> rule5) ((triple11) -> rule4)) -> rule1) OR ((((((triple11) -> rule4) ((((triple11) -> rule4) triple11) -> rule3)) -> rule5) triple9) -> rule1) OR ((((((triple11) -> rule4) ((((triple11) -> rule4) triple11) -> rule3)) -> rule5) ((triple11) -> rule4)) -> rule1))] Erin is white.[(triple13)] Gary is green.[(triple14)] Gary is red.[(triple15)] Gary is white.[(triple16)] @1: Dave is round.[(((triple5 triple6) -> rule3) OR ((((triple6) -> rule4) triple6) -> rule3))] Erin is round.[(((triple9 triple11) -> rule3) OR ((((triple11) -> rule4) triple11) -> rule3))] Gary is nice.[(((triple15) -> rule4))] @2: Dave is quiet.[(((triple5 ((triple5 triple6) -> rule3)) -> rule5) OR ((((triple6) -> rule4) ((triple5 triple6) -> rule3)) -> rule5) OR ((triple5 ((((triple6) -> rule4) triple6) -> rule3)) -> rule5) OR ((((triple6) -> rule4) ((((triple6) -> rule4) triple6) -> rule3)) -> rule5))] Gary is round.[(((((triple15) -> rule4) triple15) -> rule3))] @3: Gary is quiet.[(((((triple15) -> rule4) ((((triple15) -> rule4) triple15) -> rule3)) -> rule5))] @4: Gary is smart.[(((((((triple15) -> rule4) ((((triple15) -> rule4) triple15) -> rule3)) -> rule5)) -> rule2) OR ((triple14 ((((triple15) -> rule4) ((((triple15) -> rule4) triple15) -> rule3)) -> rule5)) -> rule6) OR ((((((triple15) -> rule4) ((((triple15) -> rule4) triple15) -> rule3)) -> rule5) ((triple15) -> rule4)) -> rule1))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
((triple6) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is smart.
("Dave" "is" "smart" "+")
triple7
((((triple5 ((triple5 triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((triple4 ((triple5 ((triple5 triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple5 ((triple5 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((triple6) -> (rule4 % int4)) ((triple5 triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple4 ((((triple6) -> (rule4 % int4)) ((triple5 triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((triple5 ((triple5 triple6) -> (rule3 % int4))) -> (rule5 % int3)) ((triple6) -> (rule4 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple6) -> (rule4 % int4)) ((triple5 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple6) -> (rule4 % int4)) ((triple5 triple6) -> (rule3 % int3))) -> (rule5 % int2)) ((triple6) -> (rule4 % int4))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((triple5 ((((triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple4 ((triple5 ((((triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((triple5 ((((triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple6) -> (rule4 % int4)) ((((triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple4 ((((triple6) -> (rule4 % int4)) ((((triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((triple5 ((((triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule5 % int2)) ((triple6) -> (rule4 % int4))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple6) -> (rule4 % int4)) ((((triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple6) -> (rule4 % int4)) ((((triple6) -> (rule4 % int4)) triple6) -> (rule3 % int3))) -> (rule5 % int2)) ((triple6) -> (rule4 % int4))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
((triple11) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
((triple9 ((triple9 triple11) -> (rule3 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple11) -> (rule4 % int3)) ((triple9 triple11) -> (rule3 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((triple9 ((((triple11) -> (rule4 % int3)) triple11) -> (rule3 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple11) -> (rule4 % int3)) ((((triple11) -> (rule4 % int3)) triple11) -> (rule3 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
triple11
Erin is smart.
("Erin" "is" "smart" "+")
triple12
((triple10) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple10 triple9) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple10 ((triple11) -> (rule4 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple9 ((triple9 triple11) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple9 ((triple9 triple11) -> (rule3 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple11) -> (rule4 % int4)) ((triple9 triple11) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple9 ((triple9 triple11) -> (rule3 % int4))) -> (rule5 % int3)) ((triple11) -> (rule4 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple11) -> (rule4 % int4)) ((triple9 triple11) -> (rule3 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple11) -> (rule4 % int4)) ((triple9 triple11) -> (rule3 % int3))) -> (rule5 % int2)) ((triple11) -> (rule4 % int4))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple9 ((((triple11) -> (rule4 % int4)) triple11) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple9 ((((triple11) -> (rule4 % int4)) triple11) -> (rule3 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple11) -> (rule4 % int4)) ((((triple11) -> (rule4 % int4)) triple11) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple9 ((((triple11) -> (rule4 % int4)) triple11) -> (rule3 % int3))) -> (rule5 % int2)) ((triple11) -> (rule4 % int4))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple11) -> (rule4 % int4)) ((((triple11) -> (rule4 % int4)) triple11) -> (rule3 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple11) -> (rule4 % int4)) ((((triple11) -> (rule4 % int4)) triple11) -> (rule3 % int3))) -> (rule5 % int2)) ((triple11) -> (rule4 % int4))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
triple13
Gary is green.
("Gary" "is" "green" "+")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
Dave is round.
("Dave" "is" "round" "+")
((triple5 triple6) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple6) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((triple9 triple11) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple11) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((triple15) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple5 ((triple5 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple6) -> (rule4 % int3)) ((triple5 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple5 ((((triple6) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple6) -> (rule4 % int3)) ((((triple6) -> (rule4 % int3)) triple6) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
((((triple15) -> (rule4 % int2)) triple15) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple15) -> (rule4 % int3)) ((((triple15) -> (rule4 % int3)) triple15) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
((((((triple15) -> (rule4 % int4)) ((((triple15) -> (rule4 % int4)) triple15) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((triple14 ((((triple15) -> (rule4 % int4)) ((((triple15) -> (rule4 % int4)) triple15) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple15) -> (rule4 % int4)) ((((triple15) -> (rule4 % int4)) triple15) -> (rule3 % int3))) -> (rule5 % int2)) ((triple15) -> (rule4 % int4))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4