Bob is green. Bob is nice. Bob is smart. Bob is young. Charlie is kind. Gary is cold. Gary is kind. Gary is nice. Gary is smart. Gary is white. Gary is young. Harry is cold. Harry is kind. Harry is white. Cold people are smart. Green people are white. If Charlie is smart and Charlie is young then Charlie is nice. If someone is cold and young then they are white. If Harry is smart then Harry is young. All smart people are green. All cold, nice people are white. All kind people are cold. If someone is white then they are nice.
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is white.
("Harry" "is" "white" "+")
Cold people are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
Green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If Charlie is smart and Charlie is young then Charlie is nice.
((("Charlie" "is" "smart" "+") ("Charlie" "is" "young" "+")) -> ("Charlie" "is" "nice" "+"))
If someone is cold and young then they are white.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If Harry is smart then Harry is young.
((("Harry" "is" "smart" "+")) -> ("Harry" "is" "young" "+"))
All smart people are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
All cold, nice people are white.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
All kind people are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is white then they are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
Bob is smart.
True
1
proof
[(triple3)]
("Bob" "is" "smart" "+")
triple3
Harry is not cold.
False
1
inv-proof
[(triple12 OR ((triple13) -> rule8))]
("Harry" "is" "cold" "-")
triple12
((triple13) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
True
2
proof
[(((triple12) -> rule1) OR ((((triple13) -> rule8)) -> rule1))]
("Harry" "is" "smart" "+")
((triple12) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple13) -> (rule8 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not nice.
False
2
inv-proof
[(((triple14) -> rule9) OR ((((((((triple12) -> rule1)) -> rule6)) -> rule2)) -> rule9) OR ((((triple12 ((((triple12) -> rule1)) -> rule5)) -> rule4)) -> rule9) OR ((((((triple13) -> rule8) ((((triple12) -> rule1)) -> rule5)) -> rule4)) -> rule9) OR ((((((((((triple13) -> rule8)) -> rule1)) -> rule6)) -> rule2)) -> rule9) OR ((((triple12 ((((((triple13) -> rule8)) -> rule1)) -> rule5)) -> rule4)) -> rule9) OR ((((((triple13) -> rule8) ((((((triple13) -> rule8)) -> rule1)) -> rule5)) -> rule4)) -> rule9))]
("Harry" "is" "nice" "-")
((triple14) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((((((triple12) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple12 ((((triple12) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple13) -> (rule8 % int5)) ((((triple12) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((((triple13) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple12 ((((((triple13) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple13) -> (rule8 % int5)) ((((((triple13) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Charlie is smart.
True
3
proof
[(((((triple5) -> rule8)) -> rule1))]
("Charlie" "is" "smart" "+")
((((triple5) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Harry is not green.
False
3
inv-proof
[(((((triple12) -> rule1)) -> rule6) OR ((((((triple13) -> rule8)) -> rule1)) -> rule6))]
("Harry" "is" "green" "-")
((((triple12) -> (rule1 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple13) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Charlie is green.
True
4
proof
[(((((((triple5) -> rule8)) -> rule1)) -> rule6))]
("Charlie" "is" "green" "+")
((((((triple5) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not green.
False
4
inv-proof
[(((((((triple5) -> rule8)) -> rule1)) -> rule6))]
("Charlie" "is" "green" "-")
((((((triple5) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is white.
True
5
proof
[(((((((((triple5) -> rule8)) -> rule1)) -> rule6)) -> rule2))]
("Charlie" "is" "white" "+")
((((((((triple5) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is not white.
False
5
inv-proof
[(((((((((triple5) -> rule8)) -> rule1)) -> rule6)) -> rule2))]
("Charlie" "is" "white" "-")
((((((((triple5) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is nice.
True
6
proof
[(((((((((((triple5) -> rule8)) -> rule1)) -> rule6)) -> rule2)) -> rule9))]
("Charlie" "is" "nice" "+")
((((((((((triple5) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is not nice.
False
6
inv-proof
[(((((((((((triple5) -> rule8)) -> rule1)) -> rule6)) -> rule2)) -> rule9))]
("Charlie" "is" "nice" "-")
((((((((((triple5) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "cold" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is green.[(triple1 OR ((triple3) -> rule6))] Bob is nice.[(triple2 OR ((((triple1) -> rule2)) -> rule9) OR ((((((triple3) -> rule6)) -> rule2)) -> rule9))] Bob is smart.[(triple3)] Bob is young.[(triple4)] Charlie is kind.[(triple5)] Gary is cold.[(triple6 OR ((triple7) -> rule8))] Gary is kind.[(triple7)] Gary is nice.[(triple8 OR ((triple10) -> rule9) OR ((((triple6 triple11) -> rule4)) -> rule9) OR ((((((triple9) -> rule6)) -> rule2)) -> rule9) OR ((((((triple7) -> rule8) triple11) -> rule4)) -> rule9) OR ((((((((triple6) -> rule1)) -> rule6)) -> rule2)) -> rule9) OR ((((((((((triple7) -> rule8)) -> rule1)) -> rule6)) -> rule2)) -> rule9))] Gary is smart.[(triple9 OR ((triple6) -> rule1) OR ((((triple7) -> rule8)) -> rule1))] Gary is white.[(triple10 OR ((triple6 triple11) -> rule4) OR ((triple6 triple8) -> rule7) OR ((((triple9) -> rule6)) -> rule2) OR ((((triple7) -> rule8) triple11) -> rule4) OR ((((triple7) -> rule8) triple8) -> rule7) OR ((((((triple6) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple7) -> rule8)) -> rule1)) -> rule6)) -> rule2))] Gary is young.[(triple11)] Harry is cold.[(triple12 OR ((triple13) -> rule8))] Harry is kind.[(triple13)] Harry is white.[(triple14 OR ((((((triple12) -> rule1)) -> rule6)) -> rule2) OR ((triple12 ((((triple12) -> rule1)) -> rule5)) -> rule4) OR ((((triple13) -> rule8) ((((triple12) -> rule1)) -> rule5)) -> rule4) OR ((((((((triple13) -> rule8)) -> rule1)) -> rule6)) -> rule2) OR ((triple12 ((((((triple13) -> rule8)) -> rule1)) -> rule5)) -> rule4) OR ((((triple13) -> rule8) ((((((triple13) -> rule8)) -> rule1)) -> rule5)) -> rule4))] @1: Bob is white.[(((triple1) -> rule2) OR ((((triple3) -> rule6)) -> rule2))] Charlie is cold.[(((triple5) -> rule8))] Gary is green.[(((triple9) -> rule6) OR ((((triple6) -> rule1)) -> rule6) OR ((((((triple7) -> rule8)) -> rule1)) -> rule6))] Harry is nice.[(((triple14) -> rule9) OR ((((((((triple12) -> rule1)) -> rule6)) -> rule2)) -> rule9) OR ((((triple12 ((((triple12) -> rule1)) -> rule5)) -> rule4)) -> rule9) OR ((((((triple13) -> rule8) ((((triple12) -> rule1)) -> rule5)) -> rule4)) -> rule9) OR ((((((((((triple13) -> rule8)) -> rule1)) -> rule6)) -> rule2)) -> rule9) OR ((((triple12 ((((((triple13) -> rule8)) -> rule1)) -> rule5)) -> rule4)) -> rule9) OR ((((((triple13) -> rule8) ((((((triple13) -> rule8)) -> rule1)) -> rule5)) -> rule4)) -> rule9))] Harry is smart.[(((triple12) -> rule1) OR ((((triple13) -> rule8)) -> rule1))] @2: Charlie is smart.[(((((triple5) -> rule8)) -> rule1))] Harry is green.[(((((triple12) -> rule1)) -> rule6) OR ((((((triple13) -> rule8)) -> rule1)) -> rule6))] Harry is young.[(((((triple12) -> rule1)) -> rule5) OR ((((((triple13) -> rule8)) -> rule1)) -> rule5))] @3: Charlie is green.[(((((((triple5) -> rule8)) -> rule1)) -> rule6))] @4: Charlie is white.[(((((((((triple5) -> rule8)) -> rule1)) -> rule6)) -> rule2))] @5: Charlie is nice.[(((((((((((triple5) -> rule8)) -> rule1)) -> rule6)) -> rule2)) -> rule9))]
Bob is green.
("Bob" "is" "green" "+")
triple1
((triple3) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
((((triple1) -> (rule2 % int2))) -> (rule9 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
((triple7) -> (rule8 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
((triple10) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple6 triple11) -> (rule4 % int2))) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((((triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple7) -> (rule8 % int3)) triple11) -> (rule4 % int2))) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((((triple6) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((((triple7) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
triple9
((triple6) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple7) -> (rule8 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple10
((triple6 triple11) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple6 triple8) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple7) -> (rule8 % int2)) triple11) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple7) -> (rule8 % int2)) triple8) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((((triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((((triple7) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
((triple13) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple14
((((((triple12) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((triple12 ((((triple12) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple13) -> (rule8 % int4)) ((((triple12) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((((triple13) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((triple12 ((((((triple13) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple13) -> (rule8 % int4)) ((((((triple13) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple9) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((((triple7) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((triple14) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((((((triple12) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple12 ((((triple12) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple13) -> (rule8 % int5)) ((((triple12) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((((triple13) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple12 ((((((triple13) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((triple13) -> (rule8 % int5)) ((((((triple13) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
((triple12) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple13) -> (rule8 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple5) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((triple12) -> (rule1 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple13) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((((triple12) -> (rule1 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple13) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((((triple5) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
((((((((triple5) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
((((((((((triple5) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5