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