Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is smart. Bob is white. Gary is kind. If someone is kind then they are white. All white, kind people are green. If someone is smart and white then they are nice. All kind people are smart. If someone is cold then they are smart. Green people are quiet. Cold people are kind. All quiet people are smart.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is kind then they are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
All white, kind people are green.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is smart and white then they are nice.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
All kind people are smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
If someone is cold then they are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
Green people are quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
Cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
All quiet people are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
Bob is white.
True
1
proof
[(triple6 OR ((triple3) -> rule1) OR ((((triple1) -> rule7)) -> rule1))]
("Bob" "is" "white" "+")
triple6
((triple3) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not white.
False
1
inv-proof
[(triple6 OR ((triple3) -> rule1) OR ((((triple1) -> rule7)) -> rule1))]
("Bob" "is" "white" "-")
triple6
((triple3) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Gary is smart.
True
2
proof
[(((triple7) -> rule4) OR ((((((((triple7) -> rule1) triple7) -> rule2)) -> rule6)) -> rule8))]
("Gary" "is" "smart" "+")
((triple7) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((((((triple7) -> (rule1 % int4)) triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Bob is not quiet.
False
2
inv-proof
[(((triple2) -> rule6) OR ((((triple6 triple3) -> rule2)) -> rule6) OR ((((triple6 ((triple1) -> rule7)) -> rule2)) -> rule6) OR ((((((triple3) -> rule1) triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple1) -> rule7)) -> rule1) triple3) -> rule2)) -> rule6) OR ((((((((triple1) -> rule7)) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule6))]
("Bob" "is" "quiet" "-")
((triple2) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple6 triple3) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple6 ((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple3) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple3) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((((triple1) -> (rule7 % int4))) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((((triple1) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Gary is nice.
True
5
proof
[(((((triple7) -> rule4) ((triple7) -> rule1)) -> rule3) OR ((((((((((triple7) -> rule1) triple7) -> rule2)) -> rule6)) -> rule8) ((triple7) -> rule1)) -> rule3))]
("Gary" "is" "nice" "+")
((((triple7) -> (rule4 % int3)) ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((((((triple7) -> (rule1 % int5)) triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple7) -> (rule1 % int5))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is not green.
False
4
inv-proof
[(((((triple7) -> rule1) triple7) -> rule2))]
("Gary" "is" "green" "-")
((((triple7) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
True
5
proof
[(((((((triple7) -> rule1) triple7) -> rule2)) -> rule6))]
("Gary" "is" "quiet" "+")
((((((triple7) -> (rule1 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is not quiet.
False
5
inv-proof
[(((((((triple7) -> rule1) triple7) -> rule2)) -> rule6))]
("Gary" "is" "quiet" "-")
((((((triple7) -> (rule1 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
@0: Bob is cold.[(triple1)] Bob is green.[(triple2 OR ((triple6 triple3) -> rule2) OR ((triple6 ((triple1) -> rule7)) -> rule2) OR ((((triple3) -> rule1) triple3) -> rule2) OR ((((triple3) -> rule1) ((triple1) -> rule7)) -> rule2) OR ((((((triple1) -> rule7)) -> rule1) triple3) -> rule2) OR ((((((triple1) -> rule7)) -> rule1) ((triple1) -> rule7)) -> rule2))] Bob is kind.[(triple3 OR ((triple1) -> rule7))] Bob is nice.[(triple4 OR ((triple5 triple6) -> rule3) OR ((triple5 ((triple3) -> rule1)) -> rule3) OR ((((triple1) -> rule5) triple6) -> rule3) OR ((((triple3) -> rule4) triple6) -> rule3) OR ((((triple1) -> rule5) ((triple3) -> rule1)) -> rule3) OR ((((triple3) -> rule4) ((triple3) -> rule1)) -> rule3) OR ((triple5 ((((triple1) -> rule7)) -> rule1)) -> rule3) OR ((((((triple1) -> rule7)) -> rule4) triple6) -> rule3) OR ((((((triple2) -> rule6)) -> rule8) triple6) -> rule3) OR ((((triple1) -> rule5) ((((triple1) -> rule7)) -> rule1)) -> rule3) OR ((((triple3) -> rule4) ((((triple1) -> rule7)) -> rule1)) -> rule3) OR ((((((triple1) -> rule7)) -> rule4) ((triple3) -> rule1)) -> rule3) OR ((((((triple2) -> rule6)) -> rule8) ((triple3) -> rule1)) -> rule3) OR ((((((triple1) -> rule7)) -> rule4) ((((triple1) -> rule7)) -> rule1)) -> rule3) OR ((((((triple2) -> rule6)) -> rule8) ((((triple1) -> rule7)) -> rule1)) -> rule3) OR ((((((((triple6 triple3) -> rule2)) -> rule6)) -> rule8) triple6) -> rule3) OR ((((((((triple6 triple3) -> rule2)) -> rule6)) -> rule8) ((triple3) -> rule1)) -> rule3) OR ((((((((triple6 triple3) -> rule2)) -> rule6)) -> rule8) ((((triple1) -> rule7)) -> rule1)) -> rule3) OR ((((((((triple6 ((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule8) triple6) -> rule3) OR ((((((((((triple3) -> rule1) triple3) -> rule2)) -> rule6)) -> rule8) triple6) -> rule3) OR ((((((((triple6 ((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule8) ((triple3) -> rule1)) -> rule3) OR ((((((((((triple3) -> rule1) triple3) -> rule2)) -> rule6)) -> rule8) ((triple3) -> rule1)) -> rule3) OR ((((((((((triple3) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule8) triple6) -> rule3) OR ((((((((triple6 ((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule8) ((((triple1) -> rule7)) -> rule1)) -> rule3) OR ((((((((((triple3) -> rule1) triple3) -> rule2)) -> rule6)) -> rule8) ((((triple1) -> rule7)) -> rule1)) -> rule3) OR ((((((((((triple3) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule8) ((triple3) -> rule1)) -> rule3) OR ((((((((((triple3) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule8) ((((triple1) -> rule7)) -> rule1)) -> rule3) OR ((((((((((((triple1) -> rule7)) -> rule1) triple3) -> rule2)) -> rule6)) -> rule8) triple6) -> rule3) OR ((((((((((((triple1) -> rule7)) -> rule1) triple3) -> rule2)) -> rule6)) -> rule8) ((triple3) -> rule1)) -> rule3) OR ((((((((((((triple1) -> rule7)) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule8) triple6) -> rule3) OR ((((((((((((triple1) -> rule7)) -> rule1) triple3) -> rule2)) -> rule6)) -> rule8) ((((triple1) -> rule7)) -> rule1)) -> rule3) OR ((((((((((((triple1) -> rule7)) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule8) ((triple3) -> rule1)) -> rule3) OR ((((((((((((triple1) -> rule7)) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule8) ((((triple1) -> rule7)) -> rule1)) -> rule3))] Bob is smart.[(triple5 OR ((triple1) -> rule5) OR ((triple3) -> rule4) OR ((((triple1) -> rule7)) -> rule4) OR ((((triple2) -> rule6)) -> rule8) OR ((((((triple6 triple3) -> rule2)) -> rule6)) -> rule8) OR ((((((triple6 ((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule8) OR ((((((((triple3) -> rule1) triple3) -> rule2)) -> rule6)) -> rule8) OR ((((((((triple3) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule8) OR ((((((((((triple1) -> rule7)) -> rule1) triple3) -> rule2)) -> rule6)) -> rule8) OR ((((((((((triple1) -> rule7)) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule8))] Bob is white.[(triple6 OR ((triple3) -> rule1) OR ((((triple1) -> rule7)) -> rule1))] Gary is kind.[(triple7)] @1: Bob is quiet.[(((triple2) -> rule6) OR ((((triple6 triple3) -> rule2)) -> rule6) OR ((((triple6 ((triple1) -> rule7)) -> rule2)) -> rule6) OR ((((((triple3) -> rule1) triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule6) OR ((((((((triple1) -> rule7)) -> rule1) triple3) -> rule2)) -> rule6) OR ((((((((triple1) -> rule7)) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule6))] Gary is smart.[(((triple7) -> rule4) OR ((((((((triple7) -> rule1) triple7) -> rule2)) -> rule6)) -> rule8))] Gary is white.[(((triple7) -> rule1))] @2: Gary is green.[(((((triple7) -> rule1) triple7) -> rule2))] Gary is nice.[(((((triple7) -> rule4) ((triple7) -> rule1)) -> rule3) OR ((((((((((triple7) -> rule1) triple7) -> rule2)) -> rule6)) -> rule8) ((triple7) -> rule1)) -> rule3))] @3: Gary is quiet.[(((((((triple7) -> rule1) triple7) -> rule2)) -> rule6))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple6 triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple6 ((triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple3) -> (rule1 % int3)) ((triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple1) -> (rule7 % int3))) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple1) -> (rule7 % int3))) -> (rule1 % int2)) ((triple1) -> (rule7 % int3))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple5 triple6) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple5 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple1) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple1) -> (rule5 % int3)) ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((triple5 ((((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple1) -> (rule7 % int3))) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple2) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple1) -> (rule5 % int4)) ((((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple3) -> (rule4 % int4)) ((((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple1) -> (rule7 % int4))) -> (rule4 % int3)) ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule8 % int3)) ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple1) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple2) -> (rule6 % int5))) -> (rule8 % int4)) ((((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple6 triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple6 triple3) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((((triple6 triple3) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule8 % int4)) ((((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple6 ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((((triple3) -> (rule1 % int5)) triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple6 ((triple1) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((((triple3) -> (rule1 % int5)) triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple3) -> (rule1 % int5))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((((triple3) -> (rule1 % int6)) ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((triple6 ((triple1) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple1) -> (rule7 % int6))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((((triple3) -> (rule1 % int6)) triple3) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple1) -> (rule7 % int2))) -> (rule1 % int6))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((((triple3) -> (rule1 % int6)) ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple3) -> (rule1 % int6))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((((triple3) -> (rule1 % int6)) ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule7 % int5))) -> (rule1 % int6))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((((((triple1) -> (rule7 % int6))) -> (rule1 % int5)) triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((((((triple1) -> (rule7 % int6))) -> (rule1 % int5)) triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple3) -> (rule1 % int5))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((((((triple1) -> (rule7 % int6))) -> (rule1 % int5)) ((triple1) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((((((triple1) -> (rule7 % int6))) -> (rule1 % int5)) triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule7 % int6))) -> (rule1 % int5))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((((((triple1) -> (rule7 % int6))) -> (rule1 % int5)) ((triple1) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple3) -> (rule1 % int5))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((((((triple1) -> (rule7 % int6))) -> (rule1 % int5)) ((triple1) -> (rule7 % int6))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule7 % int6))) -> (rule1 % int5))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
Bob is smart.
("Bob" "is" "smart" "+")
triple5
((triple1) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple3) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((((triple6 triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple6 ((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((((triple3) -> (rule1 % int4)) triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((((triple3) -> (rule1 % int5)) ((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((((triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((((triple1) -> (rule7 % int5))) -> (rule1 % int4)) ((triple1) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
triple6
((triple3) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple2) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple6 triple3) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple6 ((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple3) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple3) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((((triple1) -> (rule7 % int4))) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((((triple1) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
((triple7) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((((((triple7) -> (rule1 % int4)) triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
((triple7) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((((triple7) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple7) -> (rule4 % int3)) ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((((((triple7) -> (rule1 % int5)) triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple7) -> (rule1 % int5))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is quiet.
("Gary" "is" "quiet" "+")
((((((triple7) -> (rule1 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3