Bob is blue. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Bob is white. Bob is young. Charlie is nice. Charlie is quiet. Charlie is white. Erin is blue. Erin is nice. Gary is nice. Gary is rough. Blue, quiet people are young. If someone is young and quiet then they are rough. White, rough people are quiet. Young, nice people are rough. Nice people are white. Rough people are quiet. All quiet people are round. If Charlie is young and Charlie is quiet then Charlie is round. If Erin is blue and Erin is white then Erin is young.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Blue, quiet people are young.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
If someone is young and quiet then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
White, rough people are quiet.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
Young, nice people are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Rough people are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
All quiet people are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
If Charlie is young and Charlie is quiet then Charlie is round.
((("Charlie" "is" "young" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "round" "+"))
If Erin is blue and Erin is white then Erin is young.
((("Erin" "is" "blue" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "young" "+"))
Charlie is white.
True
1
proof
[(triple10 OR ((triple8) -> rule5))]
("Charlie" "is" "white" "+")
triple10
((triple8) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Bob is not quiet.
False
1
inv-proof
[(triple3 OR ((triple4) -> rule6) OR ((triple6 triple4) -> rule3) OR ((((triple7 triple2) -> rule4)) -> rule6) OR ((triple6 ((triple7 triple2) -> rule4)) -> rule3) OR ((((triple2) -> rule5) triple4) -> rule3) OR ((((triple2) -> rule5) ((triple7 triple2) -> rule4)) -> rule3))]
("Bob" "is" "quiet" "-")
triple3
((triple4) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple6 triple4) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple7 triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((triple6 ((triple7 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple2) -> (rule5 % int2)) triple4) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple2) -> (rule5 % int3)) ((triple7 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Erin is white.
True
2
proof
[(((triple12) -> rule5))]
("Erin" "is" "white" "+")
((triple12) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple12) -> rule5))]
("Erin" "is" "white" "-")
((triple12) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
True
4
proof
[(((triple11 ((triple12) -> rule5)) -> rule9))]
("Erin" "is" "young" "+")
((triple11 ((triple12) -> (rule5 % int2))) -> (rule9 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Gary is not round.
False
3
inv-proof
[(((((triple14) -> rule6)) -> rule7) OR ((((((triple13) -> rule5) triple14) -> rule3)) -> rule7))]
("Gary" "is" "round" "-")
((((triple14) -> (rule6 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((((triple13) -> (rule5 % int3)) triple14) -> (rule3 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Erin is rough.
True
6
proof
[(((((triple11 ((triple12) -> rule5)) -> rule9) triple12) -> rule4))]
("Erin" "is" "rough" "+")
((((triple11 ((triple12) -> (rule5 % int3))) -> (rule9 % int2)) triple12) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is not rough.
False
6
inv-proof
[(((((triple11 ((triple12) -> rule5)) -> rule9) triple12) -> rule4))]
("Erin" "is" "rough" "-")
((((triple11 ((triple12) -> (rule5 % int3))) -> (rule9 % int2)) triple12) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
True
7
proof
[(((((((triple11 ((triple12) -> rule5)) -> rule9) triple12) -> rule4)) -> rule6) OR ((((triple12) -> rule5) ((((triple11 ((triple12) -> rule5)) -> rule9) triple12) -> rule4)) -> rule3))]
("Erin" "is" "quiet" "+")
((((((triple11 ((triple12) -> (rule5 % int4))) -> (rule9 % int3)) triple12) -> (rule4 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple12) -> (rule5 % int4)) ((((triple11 ((triple12) -> (rule5 % int4))) -> (rule9 % int3)) triple12) -> (rule4 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is not quiet.
False
7
inv-proof
[(((((((triple11 ((triple12) -> rule5)) -> rule9) triple12) -> rule4)) -> rule6) OR ((((triple12) -> rule5) ((((triple11 ((triple12) -> rule5)) -> rule9) triple12) -> rule4)) -> rule3))]
("Erin" "is" "quiet" "-")
((((((triple11 ((triple12) -> (rule5 % int4))) -> (rule9 % int3)) triple12) -> (rule4 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple12) -> (rule5 % int4)) ((((triple11 ((triple12) -> (rule5 % int4))) -> (rule9 % int3)) triple12) -> (rule4 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is round.
True
8
proof
[(((((((((triple11 ((triple12) -> rule5)) -> rule9) triple12) -> rule4)) -> rule6)) -> rule7) OR ((((((triple12) -> rule5) ((((triple11 ((triple12) -> rule5)) -> rule9) triple12) -> rule4)) -> rule3)) -> rule7))]
("Erin" "is" "round" "+")
((((((((triple11 ((triple12) -> (rule5 % int5))) -> (rule9 % int4)) triple12) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple12) -> (rule5 % int5)) ((((triple11 ((triple12) -> (rule5 % int5))) -> (rule9 % int4)) triple12) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is not round.
False
8
inv-proof
[(((((((((triple11 ((triple12) -> rule5)) -> rule9) triple12) -> rule4)) -> rule6)) -> rule7) OR ((((((triple12) -> rule5) ((((triple11 ((triple12) -> rule5)) -> rule9) triple12) -> rule4)) -> rule3)) -> rule7))]
("Erin" "is" "round" "-")
((((((((triple11 ((triple12) -> (rule5 % int5))) -> (rule9 % int4)) triple12) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple12) -> (rule5 % int5)) ((((triple11 ((triple12) -> (rule5 % int5))) -> (rule9 % int4)) triple12) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Charlie is not rough.
Unknown
inv-rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3 OR ((triple4) -> rule6) OR ((triple6 triple4) -> rule3) OR ((((triple7 triple2) -> rule4)) -> rule6) OR ((triple6 ((triple7 triple2) -> rule4)) -> rule3) OR ((((triple2) -> rule5) triple4) -> rule3) OR ((((triple2) -> rule5) ((triple7 triple2) -> rule4)) -> rule3))] Bob is rough.[(triple4 OR ((triple7 triple2) -> rule4) OR ((triple7 triple3) -> rule2) OR ((((triple1 triple3) -> rule1) triple2) -> rule4) OR ((((triple1 triple3) -> rule1) triple3) -> rule2))] Bob is round.[(triple5 OR ((triple3) -> rule7) OR ((((triple4) -> rule6)) -> rule7) OR ((((triple6 triple4) -> rule3)) -> rule7) OR ((((((triple7 triple2) -> rule4)) -> rule6)) -> rule7) OR ((((triple6 ((triple7 triple2) -> rule4)) -> rule3)) -> rule7) OR ((((((triple2) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((triple2) -> rule5) ((triple7 triple2) -> rule4)) -> rule3)) -> rule7))] Bob is white.[(triple6 OR ((triple2) -> rule5))] Bob is young.[(triple7 OR ((triple1 triple3) -> rule1) OR ((triple1 ((triple4) -> rule6)) -> rule1) OR ((triple1 ((triple6 triple4) -> rule3)) -> rule1) OR ((triple1 ((((triple2) -> rule5) triple4) -> rule3)) -> rule1))] Charlie is nice.[(triple8)] Charlie is quiet.[(triple9)] Charlie is white.[(triple10 OR ((triple8) -> rule5))] Erin is blue.[(triple11)] Erin is nice.[(triple12)] Gary is nice.[(triple13)] Gary is rough.[(triple14)] @1: Charlie is round.[(((triple9) -> rule7))] Erin is white.[(((triple12) -> rule5))] Gary is quiet.[(((triple14) -> rule6) OR ((((triple13) -> rule5) triple14) -> rule3))] Gary is white.[(((triple13) -> rule5))] @2: Erin is young.[(((triple11 ((triple12) -> rule5)) -> rule9))] Gary is round.[(((((triple14) -> rule6)) -> rule7) OR ((((((triple13) -> rule5) triple14) -> rule3)) -> rule7))] @3: Erin is rough.[(((((triple11 ((triple12) -> rule5)) -> rule9) triple12) -> rule4))] @4: Erin is quiet.[(((((((triple11 ((triple12) -> rule5)) -> rule9) triple12) -> rule4)) -> rule6) OR ((((triple12) -> rule5) ((((triple11 ((triple12) -> rule5)) -> rule9) triple12) -> rule4)) -> rule3))] @5: Erin is round.[(((((((((triple11 ((triple12) -> rule5)) -> rule9) triple12) -> rule4)) -> rule6)) -> rule7) OR ((((((triple12) -> rule5) ((((triple11 ((triple12) -> rule5)) -> rule9) triple12) -> rule4)) -> rule3)) -> rule7))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
((triple4) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple6 triple4) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple7 triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((triple6 ((triple7 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple2) -> (rule5 % int2)) triple4) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple2) -> (rule5 % int3)) ((triple7 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((triple7 triple2) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple7 triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple1 triple3) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple1 triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
triple5
((triple3) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple6 triple4) -> (rule3 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((((triple7 triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple6 ((triple7 triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple2) -> (rule5 % int3)) triple4) -> (rule3 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple2) -> (rule5 % int4)) ((triple7 triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
triple6
((triple2) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple7
((triple1 triple3) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple1 ((triple4) -> (rule6 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((triple1 ((triple6 triple4) -> (rule3 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((triple1 ((((triple2) -> (rule5 % int3)) triple4) -> (rule3 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple9
Charlie is white.
("Charlie" "is" "white" "+")
triple10
((triple8) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple11
Erin is nice.
("Erin" "is" "nice" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple14
Charlie is round.
("Charlie" "is" "round" "+")
((triple9) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple12) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple14) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple13) -> (rule5 % int2)) triple14) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
((triple13) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple11 ((triple12) -> (rule5 % int2))) -> (rule9 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple14) -> (rule6 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((((triple13) -> (rule5 % int3)) triple14) -> (rule3 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
((((triple11 ((triple12) -> (rule5 % int3))) -> (rule9 % int2)) triple12) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((((((triple11 ((triple12) -> (rule5 % int4))) -> (rule9 % int3)) triple12) -> (rule4 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple12) -> (rule5 % int4)) ((((triple11 ((triple12) -> (rule5 % int4))) -> (rule9 % int3)) triple12) -> (rule4 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
((((((((triple11 ((triple12) -> (rule5 % int5))) -> (rule9 % int4)) triple12) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple12) -> (rule5 % int5)) ((((triple11 ((triple12) -> (rule5 % int5))) -> (rule9 % int4)) triple12) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5