Charlie is blue. Charlie is smart. Charlie is young. Erin is blue. Erin is furry. Erin is rough. Erin is smart. Erin is white. Gary is blue. Gary is furry. Gary is smart. Gary is white. If someone is blue and furry then they are rough. Furry, young people are blue. If Erin is blue then Erin is furry. All rough, blue people are smart. Smart, white people are young. All white, nice people are rough. If someone is rough then they are white. Furry people are nice.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is blue and furry then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Furry, young people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If Erin is blue then Erin is furry.
((("Erin" "is" "blue" "+")) -> ("Erin" "is" "furry" "+"))
All rough, blue people are smart.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
Smart, white people are young.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All white, nice people are rough.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Furry people are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
Erin is smart.
True
1
proof
[(triple7 OR ((triple6 triple4) -> rule4) OR ((((triple4 triple5) -> rule1) triple4) -> rule4) OR ((((triple4 ((triple4) -> rule3)) -> rule1) triple4) -> rule4) OR ((((triple8 ((triple5) -> rule8)) -> rule6) triple4) -> rule4) OR ((((triple8 ((((triple4) -> rule3)) -> rule8)) -> rule6) triple4) -> rule4))]
("Erin" "is" "smart" "+")
triple7
((triple6 triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple4 triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple8 ((triple5) -> (rule8 % int3))) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple8 ((((triple4) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Charlie is not young.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "young" "-")
triple3
Gary is young.
True
3
proof
[(((triple11 triple12) -> rule5) OR ((triple11 ((((triple9 triple10) -> rule1)) -> rule7)) -> rule5) OR ((((((triple9 triple10) -> rule1) triple9) -> rule4) triple12) -> rule5) OR ((((((triple9 triple10) -> rule1) triple9) -> rule4) ((((triple9 triple10) -> rule1)) -> rule7)) -> rule5) OR ((((((triple12 ((triple10) -> rule8)) -> rule6) triple9) -> rule4) triple12) -> rule5) OR ((((((triple12 ((triple10) -> rule8)) -> rule6) triple9) -> rule4) ((((triple9 triple10) -> rule1)) -> rule7)) -> rule5))]
("Gary" "is" "young" "+")
((triple11 triple12) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple11 ((((triple9 triple10) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple9 triple10) -> (rule1 % int3)) triple9) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple9 triple10) -> (rule1 % int4)) triple9) -> (rule4 % int3)) ((((triple9 triple10) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple12 ((triple10) -> (rule8 % int4))) -> (rule6 % int3)) triple9) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple12 ((triple10) -> (rule8 % int5))) -> (rule6 % int4)) triple9) -> (rule4 % int3)) ((((triple9 triple10) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is not rough.
False
3
inv-proof
[(((triple9 triple10) -> rule1) OR ((triple12 ((triple10) -> rule8)) -> rule6) OR ((((triple10 ((triple11 triple12) -> rule5)) -> rule2) triple10) -> rule1))]
("Gary" "is" "rough" "-")
((triple9 triple10) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple12 ((triple10) -> (rule8 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple10 ((triple11 triple12) -> (rule5 % int3))) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Charlie is not white.
Unknown
inv-rconc
[@2: Charlie is white.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Charlie" "is" "white" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Charlie" "is" "nice" "+")
@0: Charlie is blue.[(triple1)] Charlie is smart.[(triple2)] Charlie is young.[(triple3)] Erin is blue.[(triple4 OR ((triple5 ((triple7 triple8) -> rule5)) -> rule2) OR ((triple5 ((triple7 ((triple6) -> rule7)) -> rule5)) -> rule2))] Erin is furry.[(triple5 OR ((triple4) -> rule3))] Erin is rough.[(triple6 OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule1) OR ((triple8 ((triple5) -> rule8)) -> rule6) OR ((triple8 ((((triple4) -> rule3)) -> rule8)) -> rule6) OR ((((triple5 ((triple7 triple8) -> rule5)) -> rule2) triple5) -> rule1) OR ((((triple5 ((triple7 triple8) -> rule5)) -> rule2) ((triple4) -> rule3)) -> rule1))] Erin is smart.[(triple7 OR ((triple6 triple4) -> rule4) OR ((((triple4 triple5) -> rule1) triple4) -> rule4) OR ((((triple4 ((triple4) -> rule3)) -> rule1) triple4) -> rule4) OR ((((triple8 ((triple5) -> rule8)) -> rule6) triple4) -> rule4) OR ((((triple8 ((((triple4) -> rule3)) -> rule8)) -> rule6) triple4) -> rule4))] Erin is white.[(triple8 OR ((triple6) -> rule7) OR ((((triple4 triple5) -> rule1)) -> rule7) OR ((((triple4 ((triple4) -> rule3)) -> rule1)) -> rule7))] Gary is blue.[(triple9 OR ((triple10 ((triple11 triple12) -> rule5)) -> rule2))] Gary is furry.[(triple10)] Gary is smart.[(triple11 OR ((((triple9 triple10) -> rule1) triple9) -> rule4) OR ((((triple12 ((triple10) -> rule8)) -> rule6) triple9) -> rule4))] Gary is white.[(triple12 OR ((((triple9 triple10) -> rule1)) -> rule7))] @1: Erin is nice.[(((triple5) -> rule8) OR ((((triple4) -> rule3)) -> rule8))] Erin is young.[(((triple7 triple8) -> rule5) OR ((triple7 ((triple6) -> rule7)) -> rule5) OR ((((triple6 triple4) -> rule4) triple8) -> rule5) OR ((((triple6 triple4) -> rule4) ((triple6) -> rule7)) -> rule5) OR ((triple7 ((((triple4 triple5) -> rule1)) -> rule7)) -> rule5) OR ((((((triple4 triple5) -> rule1) triple4) -> rule4) triple8) -> rule5) OR ((((triple6 triple4) -> rule4) ((((triple4 triple5) -> rule1)) -> rule7)) -> rule5) OR ((((((triple4 triple5) -> rule1) triple4) -> rule4) ((triple6) -> rule7)) -> rule5) OR ((((((triple4 triple5) -> rule1) triple4) -> rule4) ((((triple4 triple5) -> rule1)) -> rule7)) -> rule5) OR ((triple7 ((((triple4 ((triple4) -> rule3)) -> rule1)) -> rule7)) -> rule5) OR ((((((triple4 ((triple4) -> rule3)) -> rule1) triple4) -> rule4) triple8) -> rule5) OR ((((((triple8 ((triple5) -> rule8)) -> rule6) triple4) -> rule4) triple8) -> rule5) OR ((((triple6 triple4) -> rule4) ((((triple4 ((triple4) -> rule3)) -> rule1)) -> rule7)) -> rule5) OR ((((((triple4 ((triple4) -> rule3)) -> rule1) triple4) -> rule4) ((triple6) -> rule7)) -> rule5) OR ((((((triple8 ((triple5) -> rule8)) -> rule6) triple4) -> rule4) ((triple6) -> rule7)) -> rule5) OR ((((((triple4 triple5) -> rule1) triple4) -> rule4) ((((triple4 ((triple4) -> rule3)) -> rule1)) -> rule7)) -> rule5) OR ((((((triple4 ((triple4) -> rule3)) -> rule1) triple4) -> rule4) ((((triple4 triple5) -> rule1)) -> rule7)) -> rule5) OR ((((((triple8 ((triple5) -> rule8)) -> rule6) triple4) -> rule4) ((((triple4 triple5) -> rule1)) -> rule7)) -> rule5) OR ((((((triple4 ((triple4) -> rule3)) -> rule1) triple4) -> rule4) ((((triple4 ((triple4) -> rule3)) -> rule1)) -> rule7)) -> rule5) OR ((((((triple8 ((triple5) -> rule8)) -> rule6) triple4) -> rule4) ((((triple4 ((triple4) -> rule3)) -> rule1)) -> rule7)) -> rule5) OR ((((((triple8 ((((triple4) -> rule3)) -> rule8)) -> rule6) triple4) -> rule4) triple8) -> rule5) OR ((((((triple8 ((((triple4) -> rule3)) -> rule8)) -> rule6) triple4) -> rule4) ((triple6) -> rule7)) -> rule5) OR ((((((triple8 ((((triple4) -> rule3)) -> rule8)) -> rule6) triple4) -> rule4) ((((triple4 triple5) -> rule1)) -> rule7)) -> rule5) OR ((((((triple8 ((((triple4) -> rule3)) -> rule8)) -> rule6) triple4) -> rule4) ((((triple4 ((triple4) -> rule3)) -> rule1)) -> rule7)) -> rule5))] Gary is nice.[(((triple10) -> rule8))] Gary is rough.[(((triple9 triple10) -> rule1) OR ((triple12 ((triple10) -> rule8)) -> rule6) OR ((((triple10 ((triple11 triple12) -> rule5)) -> rule2) triple10) -> rule1))] Gary is young.[(((triple11 triple12) -> rule5) OR ((triple11 ((((triple9 triple10) -> rule1)) -> rule7)) -> rule5) OR ((((((triple9 triple10) -> rule1) triple9) -> rule4) triple12) -> rule5) OR ((((((triple9 triple10) -> rule1) triple9) -> rule4) ((((triple9 triple10) -> rule1)) -> rule7)) -> rule5) OR ((((((triple12 ((triple10) -> rule8)) -> rule6) triple9) -> rule4) triple12) -> rule5) OR ((((((triple12 ((triple10) -> rule8)) -> rule6) triple9) -> rule4) ((((triple9 triple10) -> rule1)) -> rule7)) -> rule5))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
((triple5 ((triple7 triple8) -> (rule5 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((triple5 ((triple7 ((triple6) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
triple5
((triple4) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple6
((triple4 triple5) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple4 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((triple8 ((triple5) -> (rule8 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((triple8 ((((triple4) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple5 ((triple7 triple8) -> (rule5 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((triple5 ((triple7 triple8) -> (rule5 % int4))) -> (rule2 % int3)) ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
triple7
((triple6 triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple4 triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple8 ((triple5) -> (rule8 % int3))) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple8 ((((triple4) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
triple8
((triple6) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple4 ((triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
triple9
((triple10 ((triple11 triple12) -> (rule5 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11
((((triple9 triple10) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple12 ((triple10) -> (rule8 % int3))) -> (rule6 % int2)) triple9) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
triple12
((((triple9 triple10) -> (rule1 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
((triple5) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
((triple7 triple8) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple7 ((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple6 triple4) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple6 triple4) -> (rule4 % int3)) ((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple7 ((((triple4 triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple4 triple5) -> (rule1 % int3)) triple4) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple6 triple4) -> (rule4 % int4)) ((((triple4 triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple4 triple5) -> (rule1 % int4)) triple4) -> (rule4 % int3)) ((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple4 triple5) -> (rule1 % int4)) triple4) -> (rule4 % int3)) ((((triple4 triple5) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((triple7 ((((triple4 ((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4 ((triple4) -> (rule3 % int4))) -> (rule1 % int3)) triple4) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple8 ((triple5) -> (rule8 % int4))) -> (rule6 % int3)) triple4) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple6 triple4) -> (rule4 % int5)) ((((triple4 ((triple4) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple4 ((triple4) -> (rule3 % int5))) -> (rule1 % int4)) triple4) -> (rule4 % int3)) ((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((triple5) -> (rule8 % int5))) -> (rule6 % int4)) triple4) -> (rule4 % int3)) ((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((triple4 triple5) -> (rule1 % int5)) triple4) -> (rule4 % int4)) ((((triple4 ((triple4) -> (rule3 % int3))) -> (rule1 % int5))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple4 ((triple4) -> (rule3 % int5))) -> (rule1 % int4)) triple4) -> (rule4 % int3)) ((((triple4 triple5) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((triple5) -> (rule8 % int5))) -> (rule6 % int4)) triple4) -> (rule4 % int3)) ((((triple4 triple5) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((triple4 ((triple4) -> (rule3 % int5))) -> (rule1 % int4)) triple4) -> (rule4 % int3)) ((((triple4 ((triple4) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((triple5) -> (rule8 % int6))) -> (rule6 % int5)) triple4) -> (rule4 % int4)) ((((triple4 ((triple4) -> (rule3 % int3))) -> (rule1 % int5))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((triple8 ((((triple4) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple4) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((((triple4) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule6 % int4)) triple4) -> (rule4 % int3)) ((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple8 ((((triple4) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule6 % int4)) triple4) -> (rule4 % int3)) ((((triple4 triple5) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple8 ((((triple4) -> (rule3 % int6))) -> (rule8 % int5))) -> (rule6 % int4)) triple4) -> (rule4 % int3)) ((((triple4 ((triple4) -> (rule3 % int6))) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
Gary is nice.
("Gary" "is" "nice" "+")
((triple10) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple9 triple10) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple12 ((triple10) -> (rule8 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple10 ((triple11 triple12) -> (rule5 % int3))) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((triple11 triple12) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple11 ((((triple9 triple10) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple9 triple10) -> (rule1 % int3)) triple9) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple9 triple10) -> (rule1 % int4)) triple9) -> (rule4 % int3)) ((((triple9 triple10) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple12 ((triple10) -> (rule8 % int4))) -> (rule6 % int3)) triple9) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple12 ((triple10) -> (rule8 % int5))) -> (rule6 % int4)) triple9) -> (rule4 % int3)) ((((triple9 triple10) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5