Charlie is big. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Dave is young. Erin is quiet. Harry is big. Harry is smart. Harry is young. All young things are round. If Dave is nice and Dave is quiet then Dave is big. If something is round and big then it is rough. If something is round then it is big. Nice things are smart. Quiet things are rough. If something is rough then it is nice.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
All young things are round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
If Dave is nice and Dave is quiet then Dave is big.
((("Dave" "is" "nice" "+") ("Dave" "is" "quiet" "+")) -> ("Dave" "is" "big" "+"))
If something is round and big then it is rough.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
If something is round then it is big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
Nice things are smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
Quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If something is rough then it is nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
Charlie is smart.
True
1
proof
[(triple5 OR ((triple2) -> rule5) OR ((((triple3) -> rule7)) -> rule5) OR ((((((triple4 triple1) -> rule3)) -> rule7)) -> rule5) OR ((((((triple4 ((triple4) -> rule4)) -> rule3)) -> rule7)) -> rule5) OR ((((((((triple6) -> rule1) triple1) -> rule3)) -> rule7)) -> rule5) OR ((((((((triple6) -> rule1) ((triple4) -> rule4)) -> rule3)) -> rule7)) -> rule5) OR ((((((triple4 ((((triple6) -> rule1)) -> rule4)) -> rule3)) -> rule7)) -> rule5) OR ((((((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule4)) -> rule3)) -> rule7)) -> rule5))]
("Charlie" "is" "smart" "+")
triple5
((triple2) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((((triple4 triple1) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple4 ((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple6) -> (rule1 % int4)) triple1) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple6) -> (rule1 % int5)) ((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple4 ((((triple6) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple6) -> (rule1 % int5)) ((((triple6) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Dave is not young.
False
1
inv-proof
[(triple7)]
("Dave" "is" "young" "-")
triple7
Erin is rough.
True
2
proof
[(((triple8) -> rule6))]
("Erin" "is" "rough" "+")
((triple8) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple7) -> rule1))]
("Dave" "is" "round" "-")
((triple7) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Harry is rough.
True
4
proof
[(((((triple11) -> rule1) triple9) -> rule3) OR ((((triple11) -> rule1) ((((triple11) -> rule1)) -> rule4)) -> rule3))]
("Harry" "is" "rough" "+")
((((triple11) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple11) -> (rule1 % int3)) ((((triple11) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Erin is not nice.
False
3
inv-proof
[(((((triple8) -> rule6)) -> rule7))]
("Erin" "is" "nice" "-")
((((triple8) -> (rule6 % int2))) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Dave is rough.
True
6
proof
[(((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule4)) -> rule3))]
("Dave" "is" "rough" "+")
((((triple7) -> (rule1 % int3)) ((((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Erin is not smart.
False
4
inv-proof
[(((((((triple8) -> rule6)) -> rule7)) -> rule5))]
("Erin" "is" "smart" "-")
((((((triple8) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Dave is nice.
True
7
proof
[(((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule4)) -> rule3)) -> rule7))]
("Dave" "is" "nice" "+")
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is not nice.
False
7
inv-proof
[(((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule4)) -> rule3)) -> rule7))]
("Dave" "is" "nice" "-")
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is smart.
True
8
proof
[(((((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule4)) -> rule3)) -> rule7)) -> rule5))]
("Dave" "is" "smart" "+")
((((((((triple7) -> (rule1 % int5)) ((((triple7) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is not smart.
False
8
inv-proof
[(((((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule4)) -> rule3)) -> rule7)) -> rule5))]
("Dave" "is" "smart" "-")
((((((((triple7) -> (rule1 % int5)) ((((triple7) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "round" "-")
Erin is big.
Unknown
rconc
[@2: Erin is big.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Erin" "is" "big" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Charlie is big.[(triple1 OR ((triple4) -> rule4) OR ((((triple6) -> rule1)) -> rule4))] Charlie is nice.[(triple2 OR ((triple3) -> rule7) OR ((((triple4 triple1) -> rule3)) -> rule7) OR ((((triple4 ((triple4) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule1) triple1) -> rule3)) -> rule7) OR ((((((triple6) -> rule1) ((triple4) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple6) -> rule1)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule4)) -> rule3)) -> rule7))] Charlie is rough.[(triple3 OR ((triple4 triple1) -> rule3) OR ((triple4 ((triple4) -> rule4)) -> rule3) OR ((((triple6) -> rule1) triple1) -> rule3) OR ((((triple6) -> rule1) ((triple4) -> rule4)) -> rule3) OR ((triple4 ((((triple6) -> rule1)) -> rule4)) -> rule3) OR ((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule4)) -> rule3))] Charlie is round.[(triple4 OR ((triple6) -> rule1))] Charlie is smart.[(triple5 OR ((triple2) -> rule5) OR ((((triple3) -> rule7)) -> rule5) OR ((((((triple4 triple1) -> rule3)) -> rule7)) -> rule5) OR ((((((triple4 ((triple4) -> rule4)) -> rule3)) -> rule7)) -> rule5) OR ((((((((triple6) -> rule1) triple1) -> rule3)) -> rule7)) -> rule5) OR ((((((((triple6) -> rule1) ((triple4) -> rule4)) -> rule3)) -> rule7)) -> rule5) OR ((((((triple4 ((((triple6) -> rule1)) -> rule4)) -> rule3)) -> rule7)) -> rule5) OR ((((((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule4)) -> rule3)) -> rule7)) -> rule5))] Charlie is young.[(triple6)] Dave is young.[(triple7)] Erin is quiet.[(triple8)] Harry is big.[(triple9 OR ((((triple11) -> rule1)) -> rule4))] Harry is smart.[(triple10 OR ((((((((triple11) -> rule1) triple9) -> rule3)) -> rule7)) -> rule5) OR ((((((((triple11) -> rule1) ((((triple11) -> rule1)) -> rule4)) -> rule3)) -> rule7)) -> rule5))] Harry is young.[(triple11)] @1: Dave is round.[(((triple7) -> rule1))] Erin is rough.[(((triple8) -> rule6))] Harry is round.[(((triple11) -> rule1))] @2: Dave is big.[(((((triple7) -> rule1)) -> rule4))] Erin is nice.[(((((triple8) -> rule6)) -> rule7))] Harry is rough.[(((((triple11) -> rule1) triple9) -> rule3) OR ((((triple11) -> rule1) ((((triple11) -> rule1)) -> rule4)) -> rule3))] @3: Dave is rough.[(((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule4)) -> rule3))] Erin is smart.[(((((((triple8) -> rule6)) -> rule7)) -> rule5))] Harry is nice.[(((((((triple11) -> rule1) triple9) -> rule3)) -> rule7) OR ((((((triple11) -> rule1) ((((triple11) -> rule1)) -> rule4)) -> rule3)) -> rule7))] @4: Dave is nice.[(((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule4)) -> rule3)) -> rule7))] @5: Dave is smart.[(((((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule4)) -> rule3)) -> rule7)) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple4) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
((triple3) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple4 triple1) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple4 ((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple6) -> (rule1 % int3)) triple1) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple6) -> (rule1 % int4)) ((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple4 ((((triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple6) -> (rule1 % int4)) ((((triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
((triple4 triple1) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple4 ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple6) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple6) -> (rule1 % int3)) ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple4 ((((triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple6) -> (rule1 % int3)) ((((triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
((triple6) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
((triple2) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((((triple4 triple1) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple4 ((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple6) -> (rule1 % int4)) triple1) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple6) -> (rule1 % int5)) ((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple4 ((((triple6) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple6) -> (rule1 % int5)) ((((triple6) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
((((triple11) -> (rule1 % int2))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
triple10
((((((((triple11) -> (rule1 % int4)) triple9) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((((triple11) -> (rule1 % int5)) ((((triple11) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
triple11
Dave is round.
("Dave" "is" "round" "+")
((triple7) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple8) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple11) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
((((triple8) -> (rule6 % int2))) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((((triple11) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple11) -> (rule1 % int3)) ((((triple11) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((((triple7) -> (rule1 % int3)) ((((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((((((triple8) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((((((triple11) -> (rule1 % int3)) triple9) -> (rule3 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple11) -> (rule1 % int4)) ((((triple11) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
((((((triple7) -> (rule1 % int4)) ((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
((((((((triple7) -> (rule1 % int5)) ((((triple7) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5