Charlie is smart. Charlie is white. Erin is not quiet. Erin is white. Gary is green. Gary is rough. Harry is quiet. If someone is smart and nice then they are not blue. Smart people are not blue. If someone is nice and white then they are green. White people are nice. All nice people are rough. Green people are smart. All green, nice people are smart. If someone is quiet then they are white. If Harry is not green then Harry is blue.
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is white.
("Erin" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If someone is smart and nice then they are not blue.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "-"))
Smart people are not blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "-"))
If someone is nice and white then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
White people are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
All nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Green people are smart.
((("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
All green, nice people are smart.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If someone is quiet then they are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If Harry is not green then Harry is blue.
((("Harry" "is" "green" "~")) -> ("Harry" "is" "blue" "+"))
Charlie is smart.
True
1
proof
[(triple1 OR ((((((triple2) -> rule4) triple2) -> rule3)) -> rule6) OR ((((((triple2) -> rule4) triple2) -> rule3) ((triple2) -> rule4)) -> rule7))]
("Charlie" "is" "smart" "+")
triple1
((((((triple2) -> (rule4 % int3)) triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple2) -> (rule4 % int3)) triple2) -> (rule3 % int2)) ((triple2) -> (rule4 % int3))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not smart.
False
1
inv-proof
[(triple1 OR ((((((triple2) -> rule4) triple2) -> rule3)) -> rule6) OR ((((((triple2) -> rule4) triple2) -> rule3) ((triple2) -> rule4)) -> rule7))]
("Charlie" "is" "smart" "-")
triple1
((((((triple2) -> (rule4 % int3)) triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple2) -> (rule4 % int3)) triple2) -> (rule3 % int2)) ((triple2) -> (rule4 % int3))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Erin is nice.
True
2
proof
[(((triple4) -> rule4))]
("Erin" "is" "nice" "+")
((triple4) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not nice.
False
2
inv-proof
[(((triple4) -> rule4))]
("Erin" "is" "nice" "-")
((triple4) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Gary is not blue.
True
3
proof
[(((((triple5) -> rule6)) -> rule2))]
("Gary" "is" "blue" "-")
((((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
False
3
inv-proof
[(((((triple5) -> rule6)) -> rule2))]
("Gary" "is" "blue" "+")
((((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Harry is rough.
True
4
proof
[(((((((triple7) -> rule8)) -> rule4)) -> rule5))]
("Harry" "is" "rough" "+")
((((((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is not rough.
False
4
inv-proof
[(((((((triple7) -> rule8)) -> rule4)) -> rule5))]
("Harry" "is" "rough" "-")
((((((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Erin is not blue.
True
6
proof
[(((((((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule2) OR ((((((((triple4) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule7)) -> rule2) OR ((((((((triple4) -> rule4) triple4) -> rule3)) -> rule6) ((triple4) -> rule4)) -> rule1) OR ((((((((triple4) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule7) ((triple4) -> rule4)) -> rule1))]
("Erin" "is" "blue" "-")
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4) -> (rule4 % int4))) -> (rule1 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule7 % int2)) ((triple4) -> (rule4 % int4))) -> (rule1 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Harry is not smart.
False
7
inv-proof
[(((((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3)) -> rule6) OR ((((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3) ((((triple7) -> rule8)) -> rule4)) -> rule7))]
("Harry" "is" "smart" "-")
((((((((triple7) -> (rule8 % int4))) -> (rule4 % int3)) ((triple7) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule4 % int3)) ((triple7) -> (rule8 % int4))) -> (rule3 % int2)) ((((triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is not blue.
True
8
proof
[(((((((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3) ((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2) OR ((((((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule4)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3) ((((triple7) -> rule8)) -> rule4)) -> rule7) ((((triple7) -> rule8)) -> rule4)) -> rule1))]
("Harry" "is" "blue" "-")
((((((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((triple7) -> (rule8 % int5))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((triple7) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((triple7) -> (rule8 % int5))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule1 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((triple7) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int2)) ((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule1 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is blue.
False
8
inv-proof
[(((((((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3) ((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2) OR ((((((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule4)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3) ((((triple7) -> rule8)) -> rule4)) -> rule7) ((((triple7) -> rule8)) -> rule4)) -> rule1))]
("Harry" "is" "blue" "+")
((((((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((triple7) -> (rule8 % int5))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((triple7) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((triple7) -> (rule8 % int5))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule1 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((triple7) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int2)) ((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule1 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "white" "-")
Gary is nice.
Unknown
rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule4 <- rule8 <- FAIL)]]
("Gary" "is" "nice" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Charlie is smart.[(triple1 OR ((((((triple2) -> rule4) triple2) -> rule3)) -> rule6) OR ((((((triple2) -> rule4) triple2) -> rule3) ((triple2) -> rule4)) -> rule7))] Charlie is white.[(triple2)] Erin is not quiet.[(triple3)] Erin is white.[(triple4)] Gary is green.[(triple5)] Gary is rough.[(triple6)] Harry is quiet.[(triple7)] @1: Charlie is nice.[(((triple2) -> rule4))] Charlie is not blue.[(((triple1) -> rule2) OR ((triple1 ((triple2) -> rule4)) -> rule1) OR ((((((((triple2) -> rule4) triple2) -> rule3)) -> rule6)) -> rule2) OR ((((((((triple2) -> rule4) triple2) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple2) -> rule3)) -> rule6) ((triple2) -> rule4)) -> rule1) OR ((((((((triple2) -> rule4) triple2) -> rule3) ((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule1))] Erin is nice.[(((triple4) -> rule4))] Gary is smart.[(((triple5) -> rule6))] Harry is white.[(((triple7) -> rule8))] @2: Charlie is green.[(((((triple2) -> rule4) triple2) -> rule3))] Charlie is rough.[(((((triple2) -> rule4)) -> rule5))] Erin is green.[(((((triple4) -> rule4) triple4) -> rule3))] Erin is rough.[(((((triple4) -> rule4)) -> rule5))] Gary is not blue.[(((((triple5) -> rule6)) -> rule2))] Harry is nice.[(((((triple7) -> rule8)) -> rule4))] @3: Erin is smart.[(((((((triple4) -> rule4) triple4) -> rule3)) -> rule6) OR ((((((triple4) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule7))] Harry is green.[(((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3))] Harry is rough.[(((((((triple7) -> rule8)) -> rule4)) -> rule5))] @4: Erin is not blue.[(((((((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule2) OR ((((((((triple4) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule7)) -> rule2) OR ((((((((triple4) -> rule4) triple4) -> rule3)) -> rule6) ((triple4) -> rule4)) -> rule1) OR ((((((((triple4) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule7) ((triple4) -> rule4)) -> rule1))] Harry is smart.[(((((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3)) -> rule6) OR ((((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3) ((((triple7) -> rule8)) -> rule4)) -> rule7))] @5: Harry is not blue.[(((((((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3) ((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2) OR ((((((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3)) -> rule6) ((((triple7) -> rule8)) -> rule4)) -> rule1) OR ((((((((((triple7) -> rule8)) -> rule4) ((triple7) -> rule8)) -> rule3) ((((triple7) -> rule8)) -> rule4)) -> rule7) ((((triple7) -> rule8)) -> rule4)) -> rule1))]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
((((((triple2) -> (rule4 % int3)) triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple2) -> (rule4 % int3)) triple2) -> (rule3 % int2)) ((triple2) -> (rule4 % int3))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple2) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not blue.
("Charlie" "is" "blue" "-")
((triple1) -> (rule2 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
((triple1 ((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((((((triple2) -> (rule4 % int4)) triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((((triple2) -> (rule4 % int4)) triple2) -> (rule3 % int3)) ((triple2) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((((triple2) -> (rule4 % int4)) triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((triple2) -> (rule4 % int4))) -> (rule1 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((((triple2) -> (rule4 % int4)) triple2) -> (rule3 % int3)) ((triple2) -> (rule4 % int4))) -> (rule7 % int2)) ((triple2) -> (rule4 % int4))) -> (rule1 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
((triple4) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple5) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple7) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((((triple2) -> (rule4 % int2)) triple2) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((((triple4) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Gary is not blue.
("Gary" "is" "blue" "-")
((((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple7) -> (rule8 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((((((triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((((triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2)) ((triple4) -> (rule4 % int3))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((((((triple7) -> (rule8 % int3))) -> (rule4 % int2)) ((triple7) -> (rule8 % int3))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
((((((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Erin is not blue.
("Erin" "is" "blue" "-")
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4) -> (rule4 % int4))) -> (rule1 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule7 % int2)) ((triple4) -> (rule4 % int4))) -> (rule1 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
((((((((triple7) -> (rule8 % int4))) -> (rule4 % int3)) ((triple7) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule4 % int3)) ((triple7) -> (rule8 % int4))) -> (rule3 % int2)) ((((triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is not blue.
("Harry" "is" "blue" "-")
((((((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((triple7) -> (rule8 % int5))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((triple7) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((triple7) -> (rule8 % int5))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule1 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((triple7) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int2)) ((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule1 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5