Anne is kind. Anne is rough. Bob is green. Bob is kind. Bob is rough. Bob is young. Dave is nice. Erin is green. Erin is rough. Erin is young. All green things are big. If Anne is rough then Anne is white. If Anne is kind and Anne is green then Anne is big. If something is rough then it is kind. If something is big and rough then it is white. All rough, kind things are big. If something is white and big then it is nice. All green things are young.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
All green things are big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If Anne is rough then Anne is white.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "white" "+"))
If Anne is kind and Anne is green then Anne is big.
((("Anne" "is" "kind" "+") ("Anne" "is" "green" "+")) -> ("Anne" "is" "big" "+"))
If something is rough then it is kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is big and rough then it is white.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
All rough, kind things are big.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
If something is white and big then it is nice.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
All green things are young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
Dave is nice.
True
1
proof
[(triple7)]
("Dave" "is" "nice" "+")
triple7
Anne is not kind.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule4))]
("Anne" "is" "kind" "-")
triple1
((triple2) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is white.
True
2
proof
[(((triple2) -> rule2) OR ((((triple2 triple1) -> rule6) triple2) -> rule5) OR ((((triple2 ((triple2) -> rule4)) -> rule6) triple2) -> rule5))]
("Anne" "is" "white" "+")
((triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple2 triple1) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple2 ((triple2) -> (rule4 % int3))) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Erin is not kind.
False
2
inv-proof
[(((triple9) -> rule4))]
("Erin" "is" "kind" "-")
((triple9) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
True
4
proof
[(((((triple8) -> rule1) triple9) -> rule5) OR ((((triple9 ((triple9) -> rule4)) -> rule6) triple9) -> rule5))]
("Erin" "is" "white" "+")
((((triple8) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple9 ((triple9) -> (rule4 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Anne is not nice.
False
6
inv-proof
[(((((triple2) -> rule2) ((triple2 triple1) -> rule6)) -> rule7) OR ((((triple2) -> rule2) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule7) OR ((((((triple2 triple1) -> rule6) triple2) -> rule5) ((triple2 triple1) -> rule6)) -> rule7) OR ((((((triple2 triple1) -> rule6) triple2) -> rule5) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule7) OR ((((((triple2 ((triple2) -> rule4)) -> rule6) triple2) -> rule5) ((triple2 triple1) -> rule6)) -> rule7) OR ((((((triple2 ((triple2) -> rule4)) -> rule6) triple2) -> rule5) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule7))]
("Anne" "is" "nice" "-")
((((triple2) -> (rule2 % int3)) ((triple2 triple1) -> (rule6 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple2) -> (rule2 % int4)) ((triple2 ((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple2 triple1) -> (rule6 % int3)) triple2) -> (rule5 % int2)) ((triple2 triple1) -> (rule6 % int3))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple2 triple1) -> (rule6 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule4 % int2))) -> (rule6 % int4))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule6 % int3)) triple2) -> (rule5 % int2)) ((triple2 triple1) -> (rule6 % int3))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule6 % int3)) triple2) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Erin is nice.
True
7
proof
[(((((((triple8) -> rule1) triple9) -> rule5) ((triple8) -> rule1)) -> rule7) OR ((((((triple8) -> rule1) triple9) -> rule5) ((triple9 ((triple9) -> rule4)) -> rule6)) -> rule7) OR ((((((triple9 ((triple9) -> rule4)) -> rule6) triple9) -> rule5) ((triple8) -> rule1)) -> rule7) OR ((((((triple9 ((triple9) -> rule4)) -> rule6) triple9) -> rule5) ((triple9 ((triple9) -> rule4)) -> rule6)) -> rule7))]
("Erin" "is" "nice" "+")
((((((triple8) -> (rule1 % int3)) triple9) -> (rule5 % int2)) ((triple8) -> (rule1 % int3))) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple8) -> (rule1 % int4)) triple9) -> (rule5 % int3)) ((triple9 ((triple9) -> (rule4 % int2))) -> (rule6 % int4))) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple9 ((triple9) -> (rule4 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2)) ((triple8) -> (rule1 % int3))) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple9 ((triple9) -> (rule4 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2)) ((triple9 ((triple9) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Bob is not nice.
False
7
inv-proof
[(((((((triple3) -> rule1) triple5) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((triple3) -> rule1) triple5) -> rule5) ((triple5 triple4) -> rule6)) -> rule7) OR ((((((triple5 triple4) -> rule6) triple5) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((triple5 triple4) -> rule6) triple5) -> rule5) ((triple5 triple4) -> rule6)) -> rule7) OR ((((((triple3) -> rule1) triple5) -> rule5) ((triple5 ((triple5) -> rule4)) -> rule6)) -> rule7) OR ((((((triple5 triple4) -> rule6) triple5) -> rule5) ((triple5 ((triple5) -> rule4)) -> rule6)) -> rule7) OR ((((((triple5 ((triple5) -> rule4)) -> rule6) triple5) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((triple5 ((triple5) -> rule4)) -> rule6) triple5) -> rule5) ((triple5 triple4) -> rule6)) -> rule7) OR ((((((triple5 ((triple5) -> rule4)) -> rule6) triple5) -> rule5) ((triple5 ((triple5) -> rule4)) -> rule6)) -> rule7))]
("Bob" "is" "nice" "-")
((((((triple3) -> (rule1 % int3)) triple5) -> (rule5 % int2)) ((triple3) -> (rule1 % int3))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple3) -> (rule1 % int3)) triple5) -> (rule5 % int2)) ((triple5 triple4) -> (rule6 % int3))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple5 triple4) -> (rule6 % int3)) triple5) -> (rule5 % int2)) ((triple3) -> (rule1 % int3))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple5 triple4) -> (rule6 % int3)) triple5) -> (rule5 % int2)) ((triple5 triple4) -> (rule6 % int3))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple3) -> (rule1 % int4)) triple5) -> (rule5 % int3)) ((triple5 ((triple5) -> (rule4 % int2))) -> (rule6 % int4))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple5 triple4) -> (rule6 % int4)) triple5) -> (rule5 % int3)) ((triple5 ((triple5) -> (rule4 % int2))) -> (rule6 % int4))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple5 ((triple5) -> (rule4 % int4))) -> (rule6 % int3)) triple5) -> (rule5 % int2)) ((triple3) -> (rule1 % int3))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple5 ((triple5) -> (rule4 % int4))) -> (rule6 % int3)) triple5) -> (rule5 % int2)) ((triple5 triple4) -> (rule6 % int3))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple5 ((triple5) -> (rule4 % int4))) -> (rule6 % int3)) triple5) -> (rule5 % int2)) ((triple5 ((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "kind" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Anne is young.
Unknown
rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Anne" "is" "young" "+")
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Anne is kind.[(triple1 OR ((triple2) -> rule4))] Anne is rough.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4 OR ((triple5) -> rule4))] Bob is rough.[(triple5)] Bob is young.[(triple6 OR ((triple3) -> rule8))] Dave is nice.[(triple7)] Erin is green.[(triple8)] Erin is rough.[(triple9)] Erin is young.[(triple10 OR ((triple8) -> rule8))] @1: Anne is big.[(((triple2 triple1) -> rule6) OR ((triple2 ((triple2) -> rule4)) -> rule6))] Anne is white.[(((triple2) -> rule2) OR ((((triple2 triple1) -> rule6) triple2) -> rule5) OR ((((triple2 ((triple2) -> rule4)) -> rule6) triple2) -> rule5))] Bob is big.[(((triple3) -> rule1) OR ((triple5 triple4) -> rule6) OR ((triple5 ((triple5) -> rule4)) -> rule6))] Erin is big.[(((triple8) -> rule1) OR ((triple9 ((triple9) -> rule4)) -> rule6))] Erin is kind.[(((triple9) -> rule4))] @2: Anne is nice.[(((((triple2) -> rule2) ((triple2 triple1) -> rule6)) -> rule7) OR ((((triple2) -> rule2) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule7) OR ((((((triple2 triple1) -> rule6) triple2) -> rule5) ((triple2 triple1) -> rule6)) -> rule7) OR ((((((triple2 triple1) -> rule6) triple2) -> rule5) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule7) OR ((((((triple2 ((triple2) -> rule4)) -> rule6) triple2) -> rule5) ((triple2 triple1) -> rule6)) -> rule7) OR ((((((triple2 ((triple2) -> rule4)) -> rule6) triple2) -> rule5) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule7))] Bob is white.[(((((triple3) -> rule1) triple5) -> rule5) OR ((((triple5 triple4) -> rule6) triple5) -> rule5) OR ((((triple5 ((triple5) -> rule4)) -> rule6) triple5) -> rule5))] Erin is white.[(((((triple8) -> rule1) triple9) -> rule5) OR ((((triple9 ((triple9) -> rule4)) -> rule6) triple9) -> rule5))] @3: Bob is nice.[(((((((triple3) -> rule1) triple5) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((triple3) -> rule1) triple5) -> rule5) ((triple5 triple4) -> rule6)) -> rule7) OR ((((((triple5 triple4) -> rule6) triple5) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((triple5 triple4) -> rule6) triple5) -> rule5) ((triple5 triple4) -> rule6)) -> rule7) OR ((((((triple3) -> rule1) triple5) -> rule5) ((triple5 ((triple5) -> rule4)) -> rule6)) -> rule7) OR ((((((triple5 triple4) -> rule6) triple5) -> rule5) ((triple5 ((triple5) -> rule4)) -> rule6)) -> rule7) OR ((((((triple5 ((triple5) -> rule4)) -> rule6) triple5) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((triple5 ((triple5) -> rule4)) -> rule6) triple5) -> rule5) ((triple5 triple4) -> rule6)) -> rule7) OR ((((((triple5 ((triple5) -> rule4)) -> rule6) triple5) -> rule5) ((triple5 ((triple5) -> rule4)) -> rule6)) -> rule7))] Erin is nice.[(((((((triple8) -> rule1) triple9) -> rule5) ((triple8) -> rule1)) -> rule7) OR ((((((triple8) -> rule1) triple9) -> rule5) ((triple9 ((triple9) -> rule4)) -> rule6)) -> rule7) OR ((((((triple9 ((triple9) -> rule4)) -> rule6) triple9) -> rule5) ((triple8) -> rule1)) -> rule7) OR ((((((triple9 ((triple9) -> rule4)) -> rule6) triple9) -> rule5) ((triple9 ((triple9) -> rule4)) -> rule6)) -> rule7))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
((triple2) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
((triple5) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
((triple3) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
((triple8) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
((triple2 triple1) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((triple2 ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
((triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple2 triple1) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple2 ((triple2) -> (rule4 % int3))) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
((triple3) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple5 triple4) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple5 ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((triple8) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple9 ((triple9) -> (rule4 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((triple9) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((((triple2) -> (rule2 % int3)) ((triple2 triple1) -> (rule6 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple2) -> (rule2 % int4)) ((triple2 ((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple2 triple1) -> (rule6 % int3)) triple2) -> (rule5 % int2)) ((triple2 triple1) -> (rule6 % int3))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple2 triple1) -> (rule6 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule4 % int2))) -> (rule6 % int4))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule6 % int3)) triple2) -> (rule5 % int2)) ((triple2 triple1) -> (rule6 % int3))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule6 % int3)) triple2) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
((((triple3) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple5 triple4) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple5 ((triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
((((triple8) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple9 ((triple9) -> (rule4 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple3) -> (rule1 % int3)) triple5) -> (rule5 % int2)) ((triple3) -> (rule1 % int3))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple3) -> (rule1 % int3)) triple5) -> (rule5 % int2)) ((triple5 triple4) -> (rule6 % int3))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple5 triple4) -> (rule6 % int3)) triple5) -> (rule5 % int2)) ((triple3) -> (rule1 % int3))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple5 triple4) -> (rule6 % int3)) triple5) -> (rule5 % int2)) ((triple5 triple4) -> (rule6 % int3))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple3) -> (rule1 % int4)) triple5) -> (rule5 % int3)) ((triple5 ((triple5) -> (rule4 % int2))) -> (rule6 % int4))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple5 triple4) -> (rule6 % int4)) triple5) -> (rule5 % int3)) ((triple5 ((triple5) -> (rule4 % int2))) -> (rule6 % int4))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple5 ((triple5) -> (rule4 % int4))) -> (rule6 % int3)) triple5) -> (rule5 % int2)) ((triple3) -> (rule1 % int3))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple5 ((triple5) -> (rule4 % int4))) -> (rule6 % int3)) triple5) -> (rule5 % int2)) ((triple5 triple4) -> (rule6 % int3))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple5 ((triple5) -> (rule4 % int4))) -> (rule6 % int3)) triple5) -> (rule5 % int2)) ((triple5 ((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
((((((triple8) -> (rule1 % int3)) triple9) -> (rule5 % int2)) ((triple8) -> (rule1 % int3))) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple8) -> (rule1 % int4)) triple9) -> (rule5 % int3)) ((triple9 ((triple9) -> (rule4 % int2))) -> (rule6 % int4))) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple9 ((triple9) -> (rule4 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2)) ((triple8) -> (rule1 % int3))) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple9 ((triple9) -> (rule4 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2)) ((triple9 ((triple9) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4