Bob is not quiet. Bob is rough. Bob is white. Bob is young. Fiona is young. Gary is rough. Harry is green. Rough things are white. Quiet things are white. All quiet, rough things are not cold. Kind, green things are cold. White things are kind. Quiet, green things are kind. If something is kind then it is green. If Bob is rough and Bob is young then Bob is white. Cold things are not quiet.
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Quiet things are white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
All quiet, rough things are not cold.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "-"))
Kind, green things are cold.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
White things are kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
Quiet, green things are kind.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something is kind then it is green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
If Bob is rough and Bob is young then Bob is white.
((("Bob" "is" "rough" "+") ("Bob" "is" "young" "+")) -> ("Bob" "is" "white" "+"))
Cold things are not quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "-"))
Harry is green.
True
1
proof
[(triple7)]
("Harry" "is" "green" "+")
triple7
Fiona is not young.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "young" "-")
triple5
Gary is white.
True
2
proof
[(((triple6) -> rule1))]
("Gary" "is" "white" "+")
((triple6) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple6) -> rule1))]
("Gary" "is" "white" "-")
((triple6) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is kind.
True
3
proof
[(((((triple6) -> rule1)) -> rule5))]
("Gary" "is" "kind" "+")
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is not kind.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule5))]
("Gary" "is" "kind" "-")
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
True
4
proof
[(((((((triple6) -> rule1)) -> rule5)) -> rule7))]
("Gary" "is" "green" "+")
((((((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is not green.
False
4
inv-proof
[(((((((triple6) -> rule1)) -> rule5)) -> rule7))]
("Gary" "is" "green" "-")
((((((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is cold.
True
8
proof
[(((((((triple6) -> rule1)) -> rule5) ((((((triple6) -> rule1)) -> rule5)) -> rule7)) -> rule4))]
("Gary" "is" "cold" "+")
((((((triple6) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is not cold.
False
8
inv-proof
[(((((((triple6) -> rule1)) -> rule5) ((((((triple6) -> rule1)) -> rule5)) -> rule7)) -> rule4))]
("Gary" "is" "cold" "-")
((((((triple6) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is not quiet.
True
9
proof
[(((((((((triple6) -> rule1)) -> rule5) ((((((triple6) -> rule1)) -> rule5)) -> rule7)) -> rule4)) -> rule9))]
("Gary" "is" "quiet" "-")
((((((((triple6) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple6) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is quiet.
False
9
inv-proof
[(((((((((triple6) -> rule1)) -> rule5) ((((((triple6) -> rule1)) -> rule5)) -> rule7)) -> rule4)) -> rule9))]
("Gary" "is" "quiet" "+")
((((((((triple6) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple6) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Fiona is not green.
Unknown
inv-rconc
[@3: Fiona is green.[CWA. Example of deepest failure = (rule7 <- rule5 <- rule1 <- FAIL)]]
("Fiona" "is" "green" "-")
Fiona is cold.
Unknown
rconc
[@3: Fiona is cold.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule1 <- FAIL)]]
("Fiona" "is" "cold" "+")
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "white" "-")
Harry is cold.
Unknown
rconc
[@3: Harry is cold.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule1 <- FAIL)]]
("Harry" "is" "cold" "+")
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Harry is kind.
Unknown
rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Harry" "is" "kind" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Bob is not quiet.[(triple1 OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule7)) -> rule4)) -> rule9) OR ((((((((triple2) -> rule1)) -> rule5) ((((triple3) -> rule5)) -> rule7)) -> rule4)) -> rule9) OR ((((((((triple2 triple4) -> rule8)) -> rule5) ((((triple3) -> rule5)) -> rule7)) -> rule4)) -> rule9) OR ((((((triple3) -> rule5) ((((((triple2) -> rule1)) -> rule5)) -> rule7)) -> rule4)) -> rule9) OR ((((((triple3) -> rule5) ((((((triple2 triple4) -> rule8)) -> rule5)) -> rule7)) -> rule4)) -> rule9) OR ((((((((triple2) -> rule1)) -> rule5) ((((((triple2) -> rule1)) -> rule5)) -> rule7)) -> rule4)) -> rule9) OR ((((((((triple2) -> rule1)) -> rule5) ((((((triple2 triple4) -> rule8)) -> rule5)) -> rule7)) -> rule4)) -> rule9) OR ((((((((triple2 triple4) -> rule8)) -> rule5) ((((((triple2) -> rule1)) -> rule5)) -> rule7)) -> rule4)) -> rule9) OR ((((((((triple2 triple4) -> rule8)) -> rule5) ((((((triple2 triple4) -> rule8)) -> rule5)) -> rule7)) -> rule4)) -> rule9))] Bob is rough.[(triple2)] Bob is white.[(triple3 OR ((triple2) -> rule1) OR ((triple2 triple4) -> rule8))] Bob is young.[(triple4)] Fiona is young.[(triple5)] Gary is rough.[(triple6)] Harry is green.[(triple7)] @1: Bob is kind.[(((triple3) -> rule5) OR ((((triple2) -> rule1)) -> rule5) OR ((((triple2 triple4) -> rule8)) -> rule5))] Gary is white.[(((triple6) -> rule1))] @2: Bob is green.[(((((triple3) -> rule5)) -> rule7) OR ((((((triple2) -> rule1)) -> rule5)) -> rule7) OR ((((((triple2 triple4) -> rule8)) -> rule5)) -> rule7))] Gary is kind.[(((((triple6) -> rule1)) -> rule5))] @3: Bob is cold.[(((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule7)) -> rule4) OR ((((((triple2) -> rule1)) -> rule5) ((((triple3) -> rule5)) -> rule7)) -> rule4) OR ((((((triple2 triple4) -> rule8)) -> rule5) ((((triple3) -> rule5)) -> rule7)) -> rule4) OR ((((triple3) -> rule5) ((((((triple2) -> rule1)) -> rule5)) -> rule7)) -> rule4) OR ((((triple3) -> rule5) ((((((triple2 triple4) -> rule8)) -> rule5)) -> rule7)) -> rule4) OR ((((((triple2) -> rule1)) -> rule5) ((((((triple2) -> rule1)) -> rule5)) -> rule7)) -> rule4) OR ((((((triple2) -> rule1)) -> rule5) ((((((triple2 triple4) -> rule8)) -> rule5)) -> rule7)) -> rule4) OR ((((((triple2 triple4) -> rule8)) -> rule5) ((((((triple2) -> rule1)) -> rule5)) -> rule7)) -> rule4) OR ((((((triple2 triple4) -> rule8)) -> rule5) ((((((triple2 triple4) -> rule8)) -> rule5)) -> rule7)) -> rule4))] Gary is green.[(((((((triple6) -> rule1)) -> rule5)) -> rule7))] @4: Gary is cold.[(((((((triple6) -> rule1)) -> rule5) ((((((triple6) -> rule1)) -> rule5)) -> rule7)) -> rule4))] @5: Gary is not quiet.[(((((((((triple6) -> rule1)) -> rule5) ((((((triple6) -> rule1)) -> rule5)) -> rule7)) -> rule4)) -> rule9))]
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple1
((((((triple3) -> (rule5 % int4)) ((((triple3) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((((triple2) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple2 triple4) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((triple3) -> (rule5 % int5)) ((((((triple2) -> (rule1 % int4))) -> (rule5 % int5))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple3) -> (rule5 % int5)) ((((((triple2 triple4) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple2) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple2 triple4) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple2 triple4) -> (rule8 % int5))) -> (rule5 % int4)) ((((((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple2 triple4) -> (rule8 % int5))) -> (rule5 % int4)) ((((((triple2 triple4) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
((triple2) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple2 triple4) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
((triple3) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple2 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
((triple6) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple3) -> (rule5 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple2 triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple2) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((triple2 triple4) -> (rule8 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((triple3) -> (rule5 % int4)) ((((((triple2) -> (rule1 % int3))) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3) -> (rule5 % int4)) ((((((triple2 triple4) -> (rule8 % int3))) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple2 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((triple2 triple4) -> (rule8 % int4))) -> (rule5 % int3)) ((((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((triple2 triple4) -> (rule8 % int4))) -> (rule5 % int3)) ((((((triple2 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
((((((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
((((((triple6) -> (rule1 % int4))) -> (rule5 % int3)) ((((((triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is not quiet.
("Gary" "is" "quiet" "-")
((((((((triple6) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple6) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5