Bob is kind. Bob is rough. Bob is round. Erin is big. Erin is blue. Erin is kind. Erin is nice. Erin is rough. Erin is round. Fiona is kind. Fiona is round. Fiona is young. All rough people are blue. Kind, nice people are round. If someone is nice then they are blue. All rough people are round. Blue, round people are big. If someone is blue and big then they are young.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Kind, nice people are round.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is nice then they are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
All rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Blue, round people are big.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Erin is round.
True
1
proof
[(triple9 OR ((triple8) -> rule4) OR ((triple6 triple7) -> rule2))]
("Erin" "is" "round" "+")
triple9
((triple8) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple6 triple7) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is not round.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "round" "-")
triple11
Bob is blue.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "blue" "-")
((triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
True
4
proof
[(((((triple2) -> rule1) triple3) -> rule5) OR ((((triple2) -> rule1) ((triple2) -> rule4)) -> rule5))]
("Bob" "is" "big" "+")
((((triple2) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple2) -> (rule1 % int3)) ((triple2) -> (rule4 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not big.
False
4
inv-proof
[(((((triple2) -> rule1) triple3) -> rule5) OR ((((triple2) -> rule1) ((triple2) -> rule4)) -> rule5))]
("Bob" "is" "big" "-")
((((triple2) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple2) -> (rule1 % int3)) ((triple2) -> (rule4 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
True
7
proof
[(((((triple2) -> rule1) ((((triple2) -> rule1) triple3) -> rule5)) -> rule6) OR ((((triple2) -> rule1) ((((triple2) -> rule1) ((triple2) -> rule4)) -> rule5)) -> rule6))]
("Bob" "is" "young" "+")
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4)) ((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is not young.
False
7
inv-proof
[(((((triple2) -> rule1) ((((triple2) -> rule1) triple3) -> rule5)) -> rule6) OR ((((triple2) -> rule1) ((((triple2) -> rule1) ((triple2) -> rule4)) -> rule5)) -> rule6))]
("Bob" "is" "young" "-")
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4)) ((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is big.
Unknown
rconc
[@2: Fiona is big.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Fiona" "is" "big" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Bob is kind.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3 OR ((triple2) -> rule4))] Erin is big.[(triple4 OR ((triple5 triple9) -> rule5) OR ((triple5 ((triple8) -> rule4)) -> rule5) OR ((triple5 ((triple6 triple7) -> rule2)) -> rule5) OR ((((triple7) -> rule3) triple9) -> rule5) OR ((((triple8) -> rule1) triple9) -> rule5) OR ((((triple7) -> rule3) ((triple8) -> rule4)) -> rule5) OR ((((triple7) -> rule3) ((triple6 triple7) -> rule2)) -> rule5) OR ((((triple8) -> rule1) ((triple8) -> rule4)) -> rule5) OR ((((triple8) -> rule1) ((triple6 triple7) -> rule2)) -> rule5))] Erin is blue.[(triple5 OR ((triple7) -> rule3) OR ((triple8) -> rule1))] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9 OR ((triple8) -> rule4) OR ((triple6 triple7) -> rule2))] Fiona is kind.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] @1: Bob is blue.[(((triple2) -> rule1))] Erin is young.[(((triple5 triple4) -> rule6) OR ((triple5 ((triple5 triple9) -> rule5)) -> rule6) OR ((((triple7) -> rule3) triple4) -> rule6) OR ((((triple8) -> rule1) triple4) -> rule6) OR ((((triple7) -> rule3) ((triple5 triple9) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((triple5 triple9) -> rule5)) -> rule6) OR ((triple5 ((triple5 ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((triple5 ((triple5 ((triple6 triple7) -> rule2)) -> rule5)) -> rule6) OR ((triple5 ((((triple7) -> rule3) triple9) -> rule5)) -> rule6) OR ((triple5 ((((triple8) -> rule1) triple9) -> rule5)) -> rule6) OR ((triple5 ((((triple7) -> rule3) ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((triple5 ((((triple7) -> rule3) ((triple6 triple7) -> rule2)) -> rule5)) -> rule6) OR ((triple5 ((((triple8) -> rule1) ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((triple5 ((((triple8) -> rule1) ((triple6 triple7) -> rule2)) -> rule5)) -> rule6) OR ((((triple7) -> rule3) ((triple5 ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((((triple7) -> rule3) ((triple5 ((triple6 triple7) -> rule2)) -> rule5)) -> rule6) OR ((((triple7) -> rule3) ((((triple7) -> rule3) triple9) -> rule5)) -> rule6) OR ((((triple7) -> rule3) ((((triple8) -> rule1) triple9) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((triple5 ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((triple5 ((triple6 triple7) -> rule2)) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((((triple7) -> rule3) triple9) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((((triple8) -> rule1) triple9) -> rule5)) -> rule6) OR ((((triple7) -> rule3) ((((triple7) -> rule3) ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((((triple7) -> rule3) ((((triple7) -> rule3) ((triple6 triple7) -> rule2)) -> rule5)) -> rule6) OR ((((triple7) -> rule3) ((((triple8) -> rule1) ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((((triple7) -> rule3) ((((triple8) -> rule1) ((triple6 triple7) -> rule2)) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((((triple7) -> rule3) ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((((triple7) -> rule3) ((triple6 triple7) -> rule2)) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((((triple8) -> rule1) ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((((triple8) -> rule1) ((triple6 triple7) -> rule2)) -> rule5)) -> rule6))] @2: Bob is big.[(((((triple2) -> rule1) triple3) -> rule5) OR ((((triple2) -> rule1) ((triple2) -> rule4)) -> rule5))] @3: Bob is young.[(((((triple2) -> rule1) ((((triple2) -> rule1) triple3) -> rule5)) -> rule6) OR ((((triple2) -> rule1) ((((triple2) -> rule1) ((triple2) -> rule4)) -> rule5)) -> rule6))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
((triple2) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
triple4
((triple5 triple9) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple5 ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((triple5 ((triple6 triple7) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple7) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple8) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple7) -> (rule3 % int3)) ((triple6 triple7) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple8) -> (rule1 % int3)) ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple8) -> (rule1 % int3)) ((triple6 triple7) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
triple5
((triple7) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple8) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
((triple8) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple6 triple7) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Bob is blue.
("Bob" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple5 triple4) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple5 ((triple5 triple9) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple7) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple8) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple5 triple9) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple8) -> (rule1 % int3)) ((triple5 triple9) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((triple5 ((triple5 ((triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((triple5 ((triple5 ((triple6 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((triple5 ((((triple7) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((triple5 ((((triple8) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((triple5 ((((triple7) -> (rule3 % int4)) ((triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((triple5 ((((triple7) -> (rule3 % int4)) ((triple6 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((triple5 ((((triple8) -> (rule1 % int4)) ((triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((triple5 ((((triple8) -> (rule1 % int4)) ((triple6 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple7) -> (rule3 % int4)) ((triple5 ((triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple7) -> (rule3 % int4)) ((triple5 ((triple6 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple7) -> (rule3 % int3)) ((((triple8) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple8) -> (rule1 % int4)) ((triple5 ((triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple8) -> (rule1 % int4)) ((triple5 ((triple6 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple8) -> (rule1 % int3)) ((((triple7) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple8) -> (rule1 % int3)) ((((triple8) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4)) ((triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4)) ((triple6 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple7) -> (rule3 % int4)) ((((triple8) -> (rule1 % int4)) ((triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple7) -> (rule3 % int4)) ((((triple8) -> (rule1 % int4)) ((triple6 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple8) -> (rule1 % int4)) ((((triple7) -> (rule3 % int4)) ((triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple8) -> (rule1 % int4)) ((((triple7) -> (rule3 % int4)) ((triple6 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple8) -> (rule1 % int4)) ((((triple8) -> (rule1 % int4)) ((triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple8) -> (rule1 % int4)) ((((triple8) -> (rule1 % int4)) ((triple6 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
((((triple2) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple2) -> (rule1 % int3)) ((triple2) -> (rule4 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4)) ((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4