Bob is quiet. Bob is white. Charlie is green. Charlie is quiet. Charlie is smart. Fiona is white. Harry is quiet. If someone is cold and smart then they are white. If someone is quiet then they are cold. White, smart people are kind. All quiet, red people are white. All smart, white people are kind. If someone is red and green then they are kind. Cold people are smart. If Bob is white then Bob is red.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If someone is cold and smart then they are white.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If someone is quiet then they are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
White, smart people are kind.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
All quiet, red people are white.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
All smart, white people are kind.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and green then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Cold people are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
If Bob is white then Bob is red.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "red" "+"))
Charlie is quiet.
True
1
proof
[(triple4)]
("Charlie" "is" "quiet" "+")
triple4
Harry is not quiet.
False
1
inv-proof
[(triple7)]
("Harry" "is" "quiet" "-")
triple7
Bob is cold.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Charlie is not cold.
False
2
inv-proof
[(((triple4) -> rule2))]
("Charlie" "is" "cold" "-")
((triple4) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Bob is smart.
True
3
proof
[(((((triple1) -> rule2)) -> rule7))]
("Bob" "is" "smart" "+")
((((triple1) -> (rule2 % int2))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Charlie is not white.
False
4
inv-proof
[(((((triple4) -> rule2) triple5) -> rule1) OR ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1))]
("Charlie" "is" "white" "-")
((((triple4) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple4) -> (rule2 % int3)) ((((triple4) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Bob is kind.
True
5
proof
[(((triple2 ((((triple1) -> rule2)) -> rule7)) -> rule3) OR ((((((triple1) -> rule2)) -> rule7) triple2) -> rule5) OR ((((((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule7)) -> rule1) ((((triple1) -> rule2)) -> rule7)) -> rule3))]
("Bob" "is" "kind" "+")
((triple2 ((((triple1) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple1) -> (rule2 % int3))) -> (rule7 % int2)) triple2) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple1) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((triple1) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Charlie is not kind.
False
6
inv-proof
[(((triple5 ((((triple4) -> rule2) triple5) -> rule1)) -> rule5) OR ((((((triple4) -> rule2) triple5) -> rule1) triple5) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((triple4) -> rule2) triple5) -> rule1)) -> rule5) OR ((((((triple4) -> rule2) triple5) -> rule1) ((((triple4) -> rule2)) -> rule7)) -> rule3) OR ((triple5 ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1) triple5) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1) ((((triple4) -> rule2)) -> rule7)) -> rule3))]
("Charlie" "is" "kind" "-")
((triple5 ((((triple4) -> (rule2 % int3)) triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple4) -> (rule2 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple4) -> (rule2 % int4)) triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple4) -> (rule2 % int4)) triple5) -> (rule1 % int3)) ((((triple4) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((triple5 ((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is kind.
Unknown
rconc
[@3: Fiona is kind.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule2 <- FAIL)]]
("Fiona" "is" "kind" "+")
Fiona is not smart.
Unknown
inv-rconc
[@2: Fiona is smart.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Bob is quiet.[(triple1)] Bob is white.[(triple2 OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule7)) -> rule1))] Charlie is green.[(triple3)] Charlie is quiet.[(triple4)] Charlie is smart.[(triple5 OR ((((triple4) -> rule2)) -> rule7))] Fiona is white.[(triple6)] Harry is quiet.[(triple7)] @1: Bob is cold.[(((triple1) -> rule2))] Bob is red.[(((triple2) -> rule8) OR ((((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule7)) -> rule1)) -> rule8))] Charlie is cold.[(((triple4) -> rule2))] Harry is cold.[(((triple7) -> rule2))] @2: Bob is smart.[(((((triple1) -> rule2)) -> rule7))] Charlie is white.[(((((triple4) -> rule2) triple5) -> rule1) OR ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1))] Harry is smart.[(((((triple7) -> rule2)) -> rule7))] @3: Bob is kind.[(((triple2 ((((triple1) -> rule2)) -> rule7)) -> rule3) OR ((((((triple1) -> rule2)) -> rule7) triple2) -> rule5) OR ((((((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule7)) -> rule1) ((((triple1) -> rule2)) -> rule7)) -> rule3))] Charlie is kind.[(((triple5 ((((triple4) -> rule2) triple5) -> rule1)) -> rule5) OR ((((((triple4) -> rule2) triple5) -> rule1) triple5) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((triple4) -> rule2) triple5) -> rule1)) -> rule5) OR ((((((triple4) -> rule2) triple5) -> rule1) ((((triple4) -> rule2)) -> rule7)) -> rule3) OR ((triple5 ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1) triple5) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1) ((((triple4) -> rule2)) -> rule7)) -> rule3))] Harry is white.[(((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule7)) -> rule1))] @4: Harry is kind.[(((((((triple7) -> rule2)) -> rule7) ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((((triple7) -> rule2)) -> rule7)) -> rule3))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
((((triple4) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Bob is cold.
("Bob" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple2) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple4) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple7) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((((triple1) -> (rule2 % int2))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((((triple4) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple4) -> (rule2 % int3)) ((((triple4) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
((((triple7) -> (rule2 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((triple2 ((((triple1) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple1) -> (rule2 % int3))) -> (rule7 % int2)) triple2) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple1) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((triple1) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5 ((((triple4) -> (rule2 % int3)) triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple4) -> (rule2 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple4) -> (rule2 % int4)) triple5) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple4) -> (rule2 % int4)) triple5) -> (rule1 % int3)) ((((triple4) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((triple5 ((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((((((triple7) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4