Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Dave is round. Dave is smart. Erin is red. Erin is white. Gary is kind. Gary is quiet. Gary is red. Gary is round. Quiet things are rough. All quiet, white things are rough. If Gary is smart then Gary is red. All red things are kind. All kind, red things are smart. If Charlie is kind then Charlie is round. If something is round and kind then it is quiet. If something is smart then it is round.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
All quiet, white things are rough.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
If Gary is smart then Gary is red.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "red" "+"))
All red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
All kind, red things are smart.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
If Charlie is kind then Charlie is round.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "round" "+"))
If something is round and kind then it is quiet.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
If something is smart then it is round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
Gary is red.
True
1
proof
[(triple11)]
("Gary" "is" "red" "+")
triple11
Charlie is not rough.
False
1
inv-proof
[(triple2 OR ((((((triple3) -> rule8) ((triple1) -> rule4)) -> rule7)) -> rule1) OR ((((((triple3) -> rule8) ((triple1) -> rule4)) -> rule7) triple4) -> rule2) OR ((((((((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule7) triple4) -> rule2) OR ((((((((((triple1) -> rule4) triple1) -> rule5)) -> rule8) ((triple1) -> rule4)) -> rule7)) -> rule1) OR ((((((((((triple1) -> rule4) triple1) -> rule5)) -> rule8) ((triple1) -> rule4)) -> rule7) triple4) -> rule2))]
("Charlie" "is" "rough" "-")
triple2
((((((triple3) -> (rule8 % int4)) ((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple3) -> (rule8 % int4)) ((triple1) -> (rule4 % int3))) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple1) -> (rule4 % int4))) -> (rule6 % int3)) ((triple1) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple1) -> (rule4 % int4))) -> (rule6 % int3)) ((triple1) -> (rule4 % int4))) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((((triple1) -> (rule4 % int5)) triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((((triple1) -> (rule4 % int5)) triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1) -> (rule4 % int5))) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Erin is kind.
True
2
proof
[(((triple7) -> rule4))]
("Erin" "is" "kind" "+")
((triple7) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
2
inv-proof
[(((triple7) -> rule4))]
("Erin" "is" "kind" "-")
((triple7) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
True
4
proof
[(((((triple7) -> rule4) triple7) -> rule5))]
("Erin" "is" "smart" "+")
((((triple7) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Charlie is not quiet.
False
5
inv-proof
[(((((triple3) -> rule8) ((triple1) -> rule4)) -> rule7) OR ((((((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule7) OR ((((((((triple1) -> rule4) triple1) -> rule5)) -> rule8) ((triple1) -> rule4)) -> rule7))]
("Charlie" "is" "quiet" "-")
((((triple3) -> (rule8 % int3)) ((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple1) -> (rule4 % int3))) -> (rule6 % int2)) ((triple1) -> (rule4 % int3))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((((triple1) -> (rule4 % int4)) triple1) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1) -> (rule4 % int4))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Erin is round.
True
5
proof
[(((((((triple7) -> rule4) triple7) -> rule5)) -> rule8))]
("Erin" "is" "round" "+")
((((((triple7) -> (rule4 % int3)) triple7) -> (rule5 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is not round.
False
5
inv-proof
[(((((((triple7) -> rule4) triple7) -> rule5)) -> rule8))]
("Erin" "is" "round" "-")
((((((triple7) -> (rule4 % int3)) triple7) -> (rule5 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is quiet.
True
8
proof
[(((((((((triple7) -> rule4) triple7) -> rule5)) -> rule8) ((triple7) -> rule4)) -> rule7))]
("Erin" "is" "quiet" "+")
((((((((triple7) -> (rule4 % int4)) triple7) -> (rule5 % int3))) -> (rule8 % int2)) ((triple7) -> (rule4 % int4))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is not quiet.
False
8
inv-proof
[(((((((((triple7) -> rule4) triple7) -> rule5)) -> rule8) ((triple7) -> rule4)) -> rule7))]
("Erin" "is" "quiet" "-")
((((((((triple7) -> (rule4 % int4)) triple7) -> (rule5 % int3))) -> (rule8 % int2)) ((triple7) -> (rule4 % int4))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is rough.
True
9
proof
[(((((((((((triple7) -> rule4) triple7) -> rule5)) -> rule8) ((triple7) -> rule4)) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule4) triple7) -> rule5)) -> rule8) ((triple7) -> rule4)) -> rule7) triple8) -> rule2))]
("Erin" "is" "rough" "+")
((((((((((triple7) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule8 % int3)) ((triple7) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((((((triple7) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule8 % int3)) ((triple7) -> (rule4 % int5))) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is not rough.
False
9
inv-proof
[(((((((((((triple7) -> rule4) triple7) -> rule5)) -> rule8) ((triple7) -> rule4)) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule4) triple7) -> rule5)) -> rule8) ((triple7) -> rule4)) -> rule7) triple8) -> rule2))]
("Erin" "is" "rough" "-")
((((((((((triple7) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule8 % int3)) ((triple7) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((((((triple7) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule8 % int3)) ((triple7) -> (rule4 % int5))) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Dave is not quiet.
Unknown
inv-rconc
[@2: Dave is quiet.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Dave" "is" "quiet" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "kind" "+")
Dave is not rough.
Unknown
inv-rconc
[@3: Dave is rough.[CWA. Example of deepest failure = (rule1 <- rule7 <- rule4 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Charlie is red.[(triple1)] Charlie is rough.[(triple2 OR ((((((triple3) -> rule8) ((triple1) -> rule4)) -> rule7)) -> rule1) OR ((((((triple3) -> rule8) ((triple1) -> rule4)) -> rule7) triple4) -> rule2) OR ((((((((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule7) triple4) -> rule2) OR ((((((((((triple1) -> rule4) triple1) -> rule5)) -> rule8) ((triple1) -> rule4)) -> rule7)) -> rule1) OR ((((((((((triple1) -> rule4) triple1) -> rule5)) -> rule8) ((triple1) -> rule4)) -> rule7) triple4) -> rule2))] Charlie is smart.[(triple3 OR ((((triple1) -> rule4) triple1) -> rule5))] Charlie is white.[(triple4)] Dave is round.[(triple5 OR ((triple6) -> rule8))] Dave is smart.[(triple6)] Erin is red.[(triple7)] Erin is white.[(triple8)] Gary is kind.[(triple9 OR ((triple11) -> rule4))] Gary is quiet.[(triple10 OR ((triple12 triple9) -> rule7) OR ((triple12 ((triple11) -> rule4)) -> rule7) OR ((((((triple9 triple11) -> rule5)) -> rule8) triple9) -> rule7) OR ((((((triple9 triple11) -> rule5)) -> rule8) ((triple11) -> rule4)) -> rule7) OR ((((((((triple11) -> rule4) triple11) -> rule5)) -> rule8) triple9) -> rule7) OR ((((((((triple11) -> rule4) triple11) -> rule5)) -> rule8) ((triple11) -> rule4)) -> rule7))] Gary is red.[(triple11)] Gary is round.[(triple12 OR ((((triple9 triple11) -> rule5)) -> rule8) OR ((((((triple11) -> rule4) triple11) -> rule5)) -> rule8))] @1: Charlie is kind.[(((triple1) -> rule4))] Charlie is round.[(((triple3) -> rule8) OR ((((triple1) -> rule4)) -> rule6) OR ((((((triple1) -> rule4) triple1) -> rule5)) -> rule8))] Erin is kind.[(((triple7) -> rule4))] Gary is rough.[(((triple10) -> rule1) OR ((((triple12 triple9) -> rule7)) -> rule1) OR ((((triple12 ((triple11) -> rule4)) -> rule7)) -> rule1) OR ((((((((triple9 triple11) -> rule5)) -> rule8) triple9) -> rule7)) -> rule1) OR ((((((((triple9 triple11) -> rule5)) -> rule8) ((triple11) -> rule4)) -> rule7)) -> rule1) OR ((((((((((triple11) -> rule4) triple11) -> rule5)) -> rule8) triple9) -> rule7)) -> rule1) OR ((((((((((triple11) -> rule4) triple11) -> rule5)) -> rule8) ((triple11) -> rule4)) -> rule7)) -> rule1))] Gary is smart.[(((triple9 triple11) -> rule5) OR ((((triple11) -> rule4) triple11) -> rule5))] @2: Charlie is quiet.[(((((triple3) -> rule8) ((triple1) -> rule4)) -> rule7) OR ((((((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule7) OR ((((((((triple1) -> rule4) triple1) -> rule5)) -> rule8) ((triple1) -> rule4)) -> rule7))] Erin is smart.[(((((triple7) -> rule4) triple7) -> rule5))] @3: Erin is round.[(((((((triple7) -> rule4) triple7) -> rule5)) -> rule8))] @4: Erin is quiet.[(((((((((triple7) -> rule4) triple7) -> rule5)) -> rule8) ((triple7) -> rule4)) -> rule7))] @5: Erin is rough.[(((((((((((triple7) -> rule4) triple7) -> rule5)) -> rule8) ((triple7) -> rule4)) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule4) triple7) -> rule5)) -> rule8) ((triple7) -> rule4)) -> rule7) triple8) -> rule2))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
((((((triple3) -> (rule8 % int4)) ((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple3) -> (rule8 % int4)) ((triple1) -> (rule4 % int3))) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple1) -> (rule4 % int4))) -> (rule6 % int3)) ((triple1) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple1) -> (rule4 % int4))) -> (rule6 % int3)) ((triple1) -> (rule4 % int4))) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((((triple1) -> (rule4 % int5)) triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((((triple1) -> (rule4 % int5)) triple1) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1) -> (rule4 % int5))) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
((((triple1) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
((triple6) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
((triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
((triple12 triple9) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple12 ((triple11) -> (rule4 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((((triple9 triple11) -> (rule5 % int3))) -> (rule8 % int2)) triple9) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple9 triple11) -> (rule5 % int4))) -> (rule8 % int3)) ((triple11) -> (rule4 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((triple11) -> (rule4 % int4)) triple11) -> (rule5 % int3))) -> (rule8 % int2)) triple9) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((((triple11) -> (rule4 % int4)) triple11) -> (rule5 % int3))) -> (rule8 % int2)) ((triple11) -> (rule4 % int4))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
((((triple9 triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((((triple11) -> (rule4 % int3)) triple11) -> (rule5 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple3) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((((triple1) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
((triple7) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple10) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple12 triple9) -> (rule7 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple12 ((triple11) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((((((triple9 triple11) -> (rule5 % int4))) -> (rule8 % int3)) triple9) -> (rule7 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((triple9 triple11) -> (rule5 % int5))) -> (rule8 % int4)) ((triple11) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((((((triple11) -> (rule4 % int5)) triple11) -> (rule5 % int4))) -> (rule8 % int3)) triple9) -> (rule7 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((((((triple11) -> (rule4 % int5)) triple11) -> (rule5 % int4))) -> (rule8 % int3)) ((triple11) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
((triple9 triple11) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple11) -> (rule4 % int2)) triple11) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple3) -> (rule8 % int3)) ((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple1) -> (rule4 % int3))) -> (rule6 % int2)) ((triple1) -> (rule4 % int3))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((((triple1) -> (rule4 % int4)) triple1) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1) -> (rule4 % int4))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
((((triple7) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((((((triple7) -> (rule4 % int3)) triple7) -> (rule5 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((((((((triple7) -> (rule4 % int4)) triple7) -> (rule5 % int3))) -> (rule8 % int2)) ((triple7) -> (rule4 % int4))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
((((((((((triple7) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule8 % int3)) ((triple7) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((((((triple7) -> (rule4 % int5)) triple7) -> (rule5 % int4))) -> (rule8 % int3)) ((triple7) -> (rule4 % int5))) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5