Anne is nice. Anne is red. Anne is rough. Anne is smart. Bob is nice. Bob is red. Bob is smart. Bob is young. Erin is furry. Erin is nice. Erin is red. Erin is rough. Erin is smart. Erin is white. Erin is young. Rough, furry people are red. Nice, red people are rough. All red, white people are smart. If someone is furry then they are white. All smart, furry people are nice. Nice, red people are young. All white, furry people are young. Rough, young people are white.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Rough, furry people are red.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
Nice, red people are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
All red, white people are smart.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
If someone is furry then they are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
All smart, furry people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
Nice, red people are young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
All white, furry people are young.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
Rough, young people are white.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
Anne is rough.
True
1
proof
[(triple3 OR ((triple1 triple2) -> rule2))]
("Anne" "is" "rough" "+")
triple3
((triple1 triple2) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Erin is not nice.
False
1
inv-proof
[(triple10 OR ((triple13 triple9) -> rule5) OR ((((triple11 triple14) -> rule3) triple9) -> rule5) OR ((((triple11 ((triple9) -> rule4)) -> rule3) triple9) -> rule5) OR ((((triple11 ((triple12 triple15) -> rule8)) -> rule3) triple9) -> rule5) OR ((((((triple12 triple9) -> rule1) triple14) -> rule3) triple9) -> rule5) OR ((((((triple12 triple9) -> rule1) ((triple9) -> rule4)) -> rule3) triple9) -> rule5) OR ((((((triple12 triple9) -> rule1) ((triple12 triple15) -> rule8)) -> rule3) triple9) -> rule5))]
("Erin" "is" "nice" "-")
triple10
((triple13 triple9) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple11 triple14) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple11 ((triple9) -> (rule4 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple11 ((triple12 triple15) -> (rule8 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple12 triple9) -> (rule1 % int3)) triple14) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple12 triple9) -> (rule1 % int4)) ((triple9) -> (rule4 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple12 triple9) -> (rule1 % int4)) ((triple12 triple15) -> (rule8 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Anne is young.
True
3
proof
[(((triple1 triple2) -> rule6))]
("Anne" "is" "young" "+")
((triple1 triple2) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not young.
False
3
inv-proof
[(((triple1 triple2) -> rule6))]
("Anne" "is" "young" "-")
((triple1 triple2) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is nice.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3 OR ((triple1 triple2) -> rule2))] Anne is smart.[(triple4 OR ((triple2 ((triple3 ((triple1 triple2) -> rule6)) -> rule8)) -> rule3) OR ((triple2 ((((triple1 triple2) -> rule2) ((triple1 triple2) -> rule6)) -> rule8)) -> rule3))] Bob is nice.[(triple5)] Bob is red.[(triple6)] Bob is smart.[(triple7 OR ((triple6 ((((triple5 triple6) -> rule2) triple8) -> rule8)) -> rule3) OR ((triple6 ((((triple5 triple6) -> rule2) ((triple5 triple6) -> rule6)) -> rule8)) -> rule3))] Bob is young.[(triple8 OR ((triple5 triple6) -> rule6))] Erin is furry.[(triple9)] Erin is nice.[(triple10 OR ((triple13 triple9) -> rule5) OR ((((triple11 triple14) -> rule3) triple9) -> rule5) OR ((((triple11 ((triple9) -> rule4)) -> rule3) triple9) -> rule5) OR ((((triple11 ((triple12 triple15) -> rule8)) -> rule3) triple9) -> rule5) OR ((((((triple12 triple9) -> rule1) triple14) -> rule3) triple9) -> rule5) OR ((((((triple12 triple9) -> rule1) ((triple9) -> rule4)) -> rule3) triple9) -> rule5) OR ((((((triple12 triple9) -> rule1) ((triple12 triple15) -> rule8)) -> rule3) triple9) -> rule5))] Erin is red.[(triple11 OR ((triple12 triple9) -> rule1))] Erin is rough.[(triple12 OR ((triple10 triple11) -> rule2) OR ((((triple13 triple9) -> rule5) triple11) -> rule2) OR ((((((triple11 triple14) -> rule3) triple9) -> rule5) triple11) -> rule2) OR ((((((triple11 ((triple9) -> rule4)) -> rule3) triple9) -> rule5) triple11) -> rule2))] Erin is smart.[(triple13 OR ((triple11 triple14) -> rule3) OR ((triple11 ((triple9) -> rule4)) -> rule3) OR ((triple11 ((triple12 triple15) -> rule8)) -> rule3) OR ((((triple12 triple9) -> rule1) triple14) -> rule3) OR ((((triple12 triple9) -> rule1) ((triple9) -> rule4)) -> rule3) OR ((((triple12 triple9) -> rule1) ((triple12 triple15) -> rule8)) -> rule3) OR ((triple11 ((triple12 ((triple10 triple11) -> rule6)) -> rule8)) -> rule3) OR ((triple11 ((((triple10 triple11) -> rule2) triple15) -> rule8)) -> rule3) OR ((triple11 ((((triple10 triple11) -> rule2) ((triple10 triple11) -> rule6)) -> rule8)) -> rule3) OR ((((triple12 triple9) -> rule1) ((triple12 ((triple10 triple11) -> rule6)) -> rule8)) -> rule3) OR ((((triple12 triple9) -> rule1) ((((triple10 triple11) -> rule2) triple15) -> rule8)) -> rule3) OR ((((triple12 triple9) -> rule1) ((((triple10 triple11) -> rule2) ((triple10 triple11) -> rule6)) -> rule8)) -> rule3) OR ((triple11 ((triple12 ((triple10 ((triple12 triple9) -> rule1)) -> rule6)) -> rule8)) -> rule3) OR ((triple11 ((((triple10 triple11) -> rule2) ((triple10 ((triple12 triple9) -> rule1)) -> rule6)) -> rule8)) -> rule3) OR ((((triple12 triple9) -> rule1) ((triple12 ((triple10 ((triple12 triple9) -> rule1)) -> rule6)) -> rule8)) -> rule3) OR ((((triple12 triple9) -> rule1) ((((triple10 triple11) -> rule2) ((triple10 ((triple12 triple9) -> rule1)) -> rule6)) -> rule8)) -> rule3))] Erin is white.[(triple14 OR ((triple9) -> rule4) OR ((triple12 triple15) -> rule8) OR ((triple12 ((triple10 triple11) -> rule6)) -> rule8) OR ((((triple10 triple11) -> rule2) triple15) -> rule8) OR ((((triple10 triple11) -> rule2) ((triple10 triple11) -> rule6)) -> rule8) OR ((triple12 ((triple10 ((triple12 triple9) -> rule1)) -> rule6)) -> rule8) OR ((triple12 ((((triple13 triple9) -> rule5) triple11) -> rule6)) -> rule8) OR ((((((triple13 triple9) -> rule5) triple11) -> rule2) triple15) -> rule8) OR ((triple12 ((((triple13 triple9) -> rule5) ((triple12 triple9) -> rule1)) -> rule6)) -> rule8) OR ((((triple10 triple11) -> rule2) ((triple10 ((triple12 triple9) -> rule1)) -> rule6)) -> rule8) OR ((((triple10 triple11) -> rule2) ((((triple13 triple9) -> rule5) triple11) -> rule6)) -> rule8) OR ((((((triple13 triple9) -> rule5) triple11) -> rule2) ((triple10 triple11) -> rule6)) -> rule8) OR ((((triple10 triple11) -> rule2) ((((triple13 triple9) -> rule5) ((triple12 triple9) -> rule1)) -> rule6)) -> rule8) OR ((((((triple13 triple9) -> rule5) triple11) -> rule2) ((triple10 ((triple12 triple9) -> rule1)) -> rule6)) -> rule8) OR ((((((triple13 triple9) -> rule5) triple11) -> rule2) ((((triple13 triple9) -> rule5) triple11) -> rule6)) -> rule8) OR ((((((triple13 triple9) -> rule5) triple11) -> rule2) ((((triple13 triple9) -> rule5) ((triple12 triple9) -> rule1)) -> rule6)) -> rule8))] Erin is young.[(triple15 OR ((triple10 triple11) -> rule6) OR ((triple14 triple9) -> rule7) OR ((triple10 ((triple12 triple9) -> rule1)) -> rule6) OR ((((triple9) -> rule4) triple9) -> rule7) OR ((((triple13 triple9) -> rule5) triple11) -> rule6) OR ((((triple13 triple9) -> rule5) ((triple12 triple9) -> rule1)) -> rule6) OR ((((((triple11 triple14) -> rule3) triple9) -> rule5) triple11) -> rule6) OR ((((((triple11 triple14) -> rule3) triple9) -> rule5) ((triple12 triple9) -> rule1)) -> rule6) OR ((((((triple11 ((triple9) -> rule4)) -> rule3) triple9) -> rule5) triple11) -> rule6) OR ((((((((triple12 triple9) -> rule1) triple14) -> rule3) triple9) -> rule5) triple11) -> rule6) OR ((((((triple11 ((triple9) -> rule4)) -> rule3) triple9) -> rule5) ((triple12 triple9) -> rule1)) -> rule6) OR ((((((((triple12 triple9) -> rule1) triple14) -> rule3) triple9) -> rule5) ((triple12 triple9) -> rule1)) -> rule6) OR ((((((((triple12 triple9) -> rule1) ((triple9) -> rule4)) -> rule3) triple9) -> rule5) triple11) -> rule6) OR ((((((((triple12 triple9) -> rule1) ((triple9) -> rule4)) -> rule3) triple9) -> rule5) ((triple12 triple9) -> rule1)) -> rule6))] @1: Anne is young.[(((triple1 triple2) -> rule6))] Bob is rough.[(((triple5 triple6) -> rule2))] @2: Anne is white.[(((triple3 ((triple1 triple2) -> rule6)) -> rule8) OR ((((triple1 triple2) -> rule2) ((triple1 triple2) -> rule6)) -> rule8))] Bob is white.[(((((triple5 triple6) -> rule2) triple8) -> rule8) OR ((((triple5 triple6) -> rule2) ((triple5 triple6) -> rule6)) -> rule8))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
((triple1 triple2) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple4
((triple2 ((triple3 ((triple1 triple2) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((triple2 ((((triple1 triple2) -> (rule2 % int4)) ((triple1 triple2) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
((triple6 ((((triple5 triple6) -> (rule2 % int3)) triple8) -> (rule8 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple6 ((((triple5 triple6) -> (rule2 % int4)) ((triple5 triple6) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
triple8
((triple5 triple6) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is nice.
("Erin" "is" "nice" "+")
triple10
((triple13 triple9) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple11 triple14) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple11 ((triple9) -> (rule4 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple11 ((triple12 triple15) -> (rule8 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple12 triple9) -> (rule1 % int3)) triple14) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple12 triple9) -> (rule1 % int4)) ((triple9) -> (rule4 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple12 triple9) -> (rule1 % int4)) ((triple12 triple15) -> (rule8 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
triple11
((triple12 triple9) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple12
((triple10 triple11) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple13 triple9) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((triple11 triple14) -> (rule3 % int3)) triple9) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple11 ((triple9) -> (rule4 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
triple13
((triple11 triple14) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple11 ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((triple11 ((triple12 triple15) -> (rule8 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple12 triple9) -> (rule1 % int2)) triple14) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple12 triple9) -> (rule1 % int3)) ((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple12 triple9) -> (rule1 % int3)) ((triple12 triple15) -> (rule8 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((triple11 ((triple12 ((triple10 triple11) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple11 ((((triple10 triple11) -> (rule2 % int3)) triple15) -> (rule8 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((triple11 ((((triple10 triple11) -> (rule2 % int4)) ((triple10 triple11) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((triple12 triple9) -> (rule1 % int4)) ((triple12 ((triple10 triple11) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple12 triple9) -> (rule1 % int4)) ((((triple10 triple11) -> (rule2 % int3)) triple15) -> (rule8 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple12 triple9) -> (rule1 % int5)) ((((triple10 triple11) -> (rule2 % int4)) ((triple10 triple11) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((triple11 ((triple12 ((triple10 ((triple12 triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((triple11 ((((triple10 triple11) -> (rule2 % int5)) ((triple10 ((triple12 triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((triple12 triple9) -> (rule1 % int4)) ((triple12 ((triple10 ((triple12 triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple12 triple9) -> (rule1 % int5)) ((((triple10 triple11) -> (rule2 % int4)) ((triple10 ((triple12 triple9) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
triple14
((triple9) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple12 triple15) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple12 ((triple10 triple11) -> (rule6 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple10 triple11) -> (rule2 % int2)) triple15) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple10 triple11) -> (rule2 % int3)) ((triple10 triple11) -> (rule6 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((triple12 ((triple10 ((triple12 triple9) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((triple12 ((((triple13 triple9) -> (rule5 % int3)) triple11) -> (rule6 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((((triple13 triple9) -> (rule5 % int3)) triple11) -> (rule2 % int2)) triple15) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((triple12 ((((triple13 triple9) -> (rule5 % int4)) ((triple12 triple9) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple10 triple11) -> (rule2 % int4)) ((triple10 ((triple12 triple9) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((triple10 triple11) -> (rule2 % int4)) ((((triple13 triple9) -> (rule5 % int3)) triple11) -> (rule6 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple13 triple9) -> (rule5 % int4)) triple11) -> (rule2 % int3)) ((triple10 triple11) -> (rule6 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple10 triple11) -> (rule2 % int5)) ((((triple13 triple9) -> (rule5 % int4)) ((triple12 triple9) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple13 triple9) -> (rule5 % int5)) triple11) -> (rule2 % int4)) ((triple10 ((triple12 triple9) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((triple13 triple9) -> (rule5 % int4)) triple11) -> (rule2 % int3)) ((((triple13 triple9) -> (rule5 % int4)) triple11) -> (rule6 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple13 triple9) -> (rule5 % int5)) triple11) -> (rule2 % int4)) ((((triple13 triple9) -> (rule5 % int5)) ((triple12 triple9) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
triple15
((triple10 triple11) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple14 triple9) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple10 ((triple12 triple9) -> (rule1 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple9) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple13 triple9) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple13 triple9) -> (rule5 % int3)) ((triple12 triple9) -> (rule1 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((((triple11 triple14) -> (rule3 % int3)) triple9) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple11 triple14) -> (rule3 % int4)) triple9) -> (rule5 % int3)) ((triple12 triple9) -> (rule1 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple11 ((triple9) -> (rule4 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((((triple12 triple9) -> (rule1 % int4)) triple14) -> (rule3 % int3)) triple9) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple11 ((triple9) -> (rule4 % int5))) -> (rule3 % int4)) triple9) -> (rule5 % int3)) ((triple12 triple9) -> (rule1 % int2))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((((triple12 triple9) -> (rule1 % int4)) triple14) -> (rule3 % int3)) triple9) -> (rule5 % int2)) ((triple12 triple9) -> (rule1 % int4))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple12 triple9) -> (rule1 % int5)) ((triple9) -> (rule4 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple12 triple9) -> (rule1 % int5)) ((triple9) -> (rule4 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2)) ((triple12 triple9) -> (rule1 % int5))) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
((triple1 triple2) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple5 triple6) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple3 ((triple1 triple2) -> (rule6 % int2))) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple1 triple2) -> (rule2 % int3)) ((triple1 triple2) -> (rule6 % int2))) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
((((triple5 triple6) -> (rule2 % int2)) triple8) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple5 triple6) -> (rule2 % int3)) ((triple5 triple6) -> (rule6 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3