Bob is green. Bob is red. Bob is young. Green, young people are red. All red, rough people are nice. Green people are white. If someone is red then they are white. If someone is red and young then they are white. All young, white people are rough.
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Green, young people are red.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All red, rough people are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If someone is red then they are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If someone is red and young then they are white.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
All young, white people are rough.
((("someone" "is" "young" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
Bob is young.
True
1
proof
[(triple3)]
("Bob" "is" "young" "+")
triple3
Bob is not green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Bob is white.
True
2
proof
[(((triple1) -> rule3) OR ((triple2) -> rule4) OR ((triple2 triple3) -> rule5) OR ((((triple1 triple3) -> rule1)) -> rule4) OR ((((triple1 triple3) -> rule1) triple3) -> rule5))]
("Bob" "is" "white" "+")
((triple1) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple2) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple2 triple3) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple1 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple1 triple3) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not white.
False
2
inv-proof
[(((triple1) -> rule3) OR ((triple2) -> rule4) OR ((triple2 triple3) -> rule5) OR ((((triple1 triple3) -> rule1)) -> rule4) OR ((((triple1 triple3) -> rule1) triple3) -> rule5))]
("Bob" "is" "white" "-")
((triple1) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple2) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple2 triple3) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple1 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple1 triple3) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
True
4
proof
[(((triple3 ((triple1) -> rule3)) -> rule6) OR ((triple3 ((triple2) -> rule4)) -> rule6) OR ((triple3 ((triple2 triple3) -> rule5)) -> rule6) OR ((triple3 ((((triple1 triple3) -> rule1)) -> rule4)) -> rule6) OR ((triple3 ((((triple1 triple3) -> rule1) triple3) -> rule5)) -> rule6))]
("Bob" "is" "rough" "+")
((triple3 ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple3 ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple3 ((triple2 triple3) -> (rule5 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple3 ((((triple1 triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple3 ((((triple1 triple3) -> (rule1 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not rough.
False
4
inv-proof
[(((triple3 ((triple1) -> rule3)) -> rule6) OR ((triple3 ((triple2) -> rule4)) -> rule6) OR ((triple3 ((triple2 triple3) -> rule5)) -> rule6) OR ((triple3 ((((triple1 triple3) -> rule1)) -> rule4)) -> rule6) OR ((triple3 ((((triple1 triple3) -> rule1) triple3) -> rule5)) -> rule6))]
("Bob" "is" "rough" "-")
((triple3 ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple3 ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple3 ((triple2 triple3) -> (rule5 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple3 ((((triple1 triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple3 ((((triple1 triple3) -> (rule1 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
True
6
proof
[(((triple2 ((triple3 ((triple1) -> rule3)) -> rule6)) -> rule2) OR ((triple2 ((triple3 ((triple2) -> rule4)) -> rule6)) -> rule2) OR ((triple2 ((triple3 ((triple2 triple3) -> rule5)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((triple1) -> rule3)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((triple2) -> rule4)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((triple2 triple3) -> rule5)) -> rule6)) -> rule2) OR ((triple2 ((triple3 ((((triple1 triple3) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((triple2 ((triple3 ((((triple1 triple3) -> rule1) triple3) -> rule5)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((((triple1 triple3) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((((triple1 triple3) -> rule1) triple3) -> rule5)) -> rule6)) -> rule2))]
("Bob" "is" "nice" "+")
((triple2 ((triple3 ((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((triple2 ((triple3 ((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((triple2 ((triple3 ((triple2 triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((triple1 triple3) -> (rule1 % int4)) ((triple3 ((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 triple3) -> (rule1 % int4)) ((triple3 ((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 triple3) -> (rule1 % int4)) ((triple3 ((triple2 triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple2 ((triple3 ((((triple1 triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple2 ((triple3 ((((triple1 triple3) -> (rule1 % int4)) triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 triple3) -> (rule1 % int4)) ((triple3 ((((triple1 triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 triple3) -> (rule1 % int4)) ((triple3 ((((triple1 triple3) -> (rule1 % int4)) triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is not nice.
False
6
inv-proof
[(((triple2 ((triple3 ((triple1) -> rule3)) -> rule6)) -> rule2) OR ((triple2 ((triple3 ((triple2) -> rule4)) -> rule6)) -> rule2) OR ((triple2 ((triple3 ((triple2 triple3) -> rule5)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((triple1) -> rule3)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((triple2) -> rule4)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((triple2 triple3) -> rule5)) -> rule6)) -> rule2) OR ((triple2 ((triple3 ((((triple1 triple3) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((triple2 ((triple3 ((((triple1 triple3) -> rule1) triple3) -> rule5)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((((triple1 triple3) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((((triple1 triple3) -> rule1) triple3) -> rule5)) -> rule6)) -> rule2))]
("Bob" "is" "nice" "-")
((triple2 ((triple3 ((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((triple2 ((triple3 ((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((triple2 ((triple3 ((triple2 triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((triple1 triple3) -> (rule1 % int4)) ((triple3 ((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 triple3) -> (rule1 % int4)) ((triple3 ((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 triple3) -> (rule1 % int4)) ((triple3 ((triple2 triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple2 ((triple3 ((((triple1 triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple2 ((triple3 ((((triple1 triple3) -> (rule1 % int4)) triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 triple3) -> (rule1 % int4)) ((triple3 ((((triple1 triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 triple3) -> (rule1 % int4)) ((triple3 ((((triple1 triple3) -> (rule1 % int4)) triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
@0: Bob is green.[(triple1)] Bob is red.[(triple2 OR ((triple1 triple3) -> rule1))] Bob is young.[(triple3)] @1: Bob is white.[(((triple1) -> rule3) OR ((triple2) -> rule4) OR ((triple2 triple3) -> rule5) OR ((((triple1 triple3) -> rule1)) -> rule4) OR ((((triple1 triple3) -> rule1) triple3) -> rule5))] @2: Bob is rough.[(((triple3 ((triple1) -> rule3)) -> rule6) OR ((triple3 ((triple2) -> rule4)) -> rule6) OR ((triple3 ((triple2 triple3) -> rule5)) -> rule6) OR ((triple3 ((((triple1 triple3) -> rule1)) -> rule4)) -> rule6) OR ((triple3 ((((triple1 triple3) -> rule1) triple3) -> rule5)) -> rule6))] @3: Bob is nice.[(((triple2 ((triple3 ((triple1) -> rule3)) -> rule6)) -> rule2) OR ((triple2 ((triple3 ((triple2) -> rule4)) -> rule6)) -> rule2) OR ((triple2 ((triple3 ((triple2 triple3) -> rule5)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((triple1) -> rule3)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((triple2) -> rule4)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((triple2 triple3) -> rule5)) -> rule6)) -> rule2) OR ((triple2 ((triple3 ((((triple1 triple3) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((triple2 ((triple3 ((((triple1 triple3) -> rule1) triple3) -> rule5)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((((triple1 triple3) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule1) ((triple3 ((((triple1 triple3) -> rule1) triple3) -> rule5)) -> rule6)) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
((triple1 triple3) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple2) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple2 triple3) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple1 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple1 triple3) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((triple3 ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple3 ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple3 ((triple2 triple3) -> (rule5 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple3 ((((triple1 triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple3 ((((triple1 triple3) -> (rule1 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 ((triple3 ((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((triple2 ((triple3 ((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((triple2 ((triple3 ((triple2 triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((triple1 triple3) -> (rule1 % int4)) ((triple3 ((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 triple3) -> (rule1 % int4)) ((triple3 ((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 triple3) -> (rule1 % int4)) ((triple3 ((triple2 triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple2 ((triple3 ((((triple1 triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple2 ((triple3 ((((triple1 triple3) -> (rule1 % int4)) triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 triple3) -> (rule1 % int4)) ((triple3 ((((triple1 triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1 triple3) -> (rule1 % int4)) ((triple3 ((((triple1 triple3) -> (rule1 % int4)) triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4