Bob is furry. Charlie is furry. Charlie is green. Charlie is nice. Charlie is rough. Charlie is young. Dave is nice. Dave is smart. Harry is green. Harry is rough. If Harry is young and Harry is furry then Harry is quiet. If someone is green and furry then they are nice. Furry, young people are rough. If someone is young then they are nice. All nice, green people are young. If someone is quiet and rough then they are furry. If someone is smart then they are quiet. If someone is rough then they are smart. All smart, furry people are nice.
Bob is furry.
("Bob" "is" "furry" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If Harry is young and Harry is furry then Harry is quiet.
((("Harry" "is" "young" "+") ("Harry" "is" "furry" "+")) -> ("Harry" "is" "quiet" "+"))
If someone is green and furry then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
Furry, young people are rough.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is young then they are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
All nice, green people are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is quiet and rough then they are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
If someone is smart then they are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
If someone is rough then they are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
All smart, furry people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
Harry is rough.
True
1
proof
[(triple10)]
("Harry" "is" "rough" "+")
triple10
Charlie is not green.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "green" "-")
triple3
Harry is smart.
True
2
proof
[(((triple10) -> rule8))]
("Harry" "is" "smart" "+")
((triple10) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Dave is not quiet.
False
2
inv-proof
[(((triple8) -> rule7))]
("Dave" "is" "quiet" "-")
((triple8) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Charlie is quiet.
True
3
proof
[(((((triple5) -> rule8)) -> rule7) OR ((((((triple2 triple6) -> rule3)) -> rule8)) -> rule7) OR ((((((triple2 ((triple4 triple3) -> rule5)) -> rule3)) -> rule8)) -> rule7) OR ((((((triple2 ((((triple3 triple2) -> rule2) triple3) -> rule5)) -> rule3)) -> rule8)) -> rule7))]
("Charlie" "is" "quiet" "+")
((((triple5) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((((triple2 triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple2 ((triple4 triple3) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple2 ((((triple3 triple2) -> (rule2 % int5)) triple3) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is not quiet.
False
3
inv-proof
[(((((triple5) -> rule8)) -> rule7) OR ((((((triple2 triple6) -> rule3)) -> rule8)) -> rule7) OR ((((((triple2 ((triple4 triple3) -> rule5)) -> rule3)) -> rule8)) -> rule7) OR ((((((triple2 ((((triple3 triple2) -> rule2) triple3) -> rule5)) -> rule3)) -> rule8)) -> rule7))]
("Charlie" "is" "quiet" "-")
((((triple5) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((((triple2 triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple2 ((triple4 triple3) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple2 ((((triple3 triple2) -> (rule2 % int5)) triple3) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Harry is furry.
True
5
proof
[(((((((triple10) -> rule8)) -> rule7) triple10) -> rule6))]
("Harry" "is" "furry" "+")
((((((triple10) -> (rule8 % int3))) -> (rule7 % int2)) triple10) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is not furry.
False
5
inv-proof
[(((((((triple10) -> rule8)) -> rule7) triple10) -> rule6))]
("Harry" "is" "furry" "-")
((((((triple10) -> (rule8 % int3))) -> (rule7 % int2)) triple10) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
True
7
proof
[(((triple9 ((((((triple10) -> rule8)) -> rule7) triple10) -> rule6)) -> rule2) OR ((((triple10) -> rule8) ((((((triple10) -> rule8)) -> rule7) triple10) -> rule6)) -> rule9))]
("Harry" "is" "nice" "+")
((triple9 ((((((triple10) -> (rule8 % int4))) -> (rule7 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple10) -> (rule8 % int4)) ((((((triple10) -> (rule8 % int4))) -> (rule7 % int3)) triple10) -> (rule6 % int2))) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is not nice.
False
7
inv-proof
[(((triple9 ((((((triple10) -> rule8)) -> rule7) triple10) -> rule6)) -> rule2) OR ((((triple10) -> rule8) ((((((triple10) -> rule8)) -> rule7) triple10) -> rule6)) -> rule9))]
("Harry" "is" "nice" "-")
((triple9 ((((((triple10) -> (rule8 % int4))) -> (rule7 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple10) -> (rule8 % int4)) ((((((triple10) -> (rule8 % int4))) -> (rule7 % int3)) triple10) -> (rule6 % int2))) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is young.
True
9
proof
[(((((triple9 ((((((triple10) -> rule8)) -> rule7) triple10) -> rule6)) -> rule2) triple9) -> rule5) OR ((((((triple10) -> rule8) ((((((triple10) -> rule8)) -> rule7) triple10) -> rule6)) -> rule9) triple9) -> rule5))]
("Harry" "is" "young" "+")
((((triple9 ((((((triple10) -> (rule8 % int5))) -> (rule7 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple10) -> (rule8 % int5)) ((((((triple10) -> (rule8 % int5))) -> (rule7 % int4)) triple10) -> (rule6 % int3))) -> (rule9 % int2)) triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is not young.
False
9
inv-proof
[(((((triple9 ((((((triple10) -> rule8)) -> rule7) triple10) -> rule6)) -> rule2) triple9) -> rule5) OR ((((((triple10) -> rule8) ((((((triple10) -> rule8)) -> rule7) triple10) -> rule6)) -> rule9) triple9) -> rule5))]
("Harry" "is" "young" "-")
((((triple9 ((((((triple10) -> (rule8 % int5))) -> (rule7 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple10) -> (rule8 % int5)) ((((((triple10) -> (rule8 % int5))) -> (rule7 % int4)) triple10) -> (rule6 % int3))) -> (rule9 % int2)) triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Bob is not nice.
Unknown
inv-rconc
[@4: Bob is nice.[CWA. Example of deepest failure = (rule9 <- rule8 <- rule3 <- rule5 <- FAIL)]]
("Bob" "is" "nice" "-")
Dave is furry.
Unknown
rconc
[@2: Dave is furry.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Dave" "is" "furry" "+")
Bob is not rough.
Unknown
inv-rconc
[@2: Bob is rough.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Bob" "is" "rough" "-")
Dave is rough.
Unknown
rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Dave" "is" "rough" "+")
Bob is not quiet.
Unknown
inv-rconc
[@4: Bob is quiet.[CWA. Example of deepest failure = (rule7 <- rule8 <- rule3 <- rule5 <- FAIL)]]
("Bob" "is" "quiet" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is furry.[(triple1)] Charlie is furry.[(triple2 OR ((((((triple5) -> rule8)) -> rule7) triple5) -> rule6))] Charlie is green.[(triple3)] Charlie is nice.[(triple4 OR ((triple6) -> rule4) OR ((triple3 triple2) -> rule2) OR ((((triple5) -> rule8) triple2) -> rule9) OR ((((((triple2 triple6) -> rule3)) -> rule8) triple2) -> rule9) OR ((triple3 ((((((triple5) -> rule8)) -> rule7) triple5) -> rule6)) -> rule2) OR ((((triple5) -> rule8) ((((((triple5) -> rule8)) -> rule7) triple5) -> rule6)) -> rule9) OR ((((((triple2 triple6) -> rule3)) -> rule8) ((((((triple5) -> rule8)) -> rule7) triple5) -> rule6)) -> rule9))] Charlie is rough.[(triple5 OR ((triple2 triple6) -> rule3) OR ((triple2 ((triple4 triple3) -> rule5)) -> rule3) OR ((triple2 ((((triple3 triple2) -> rule2) triple3) -> rule5)) -> rule3))] Charlie is young.[(triple6 OR ((triple4 triple3) -> rule5) OR ((((triple3 triple2) -> rule2) triple3) -> rule5) OR ((((((triple5) -> rule8) triple2) -> rule9) triple3) -> rule5) OR ((((triple3 ((((((triple5) -> rule8)) -> rule7) triple5) -> rule6)) -> rule2) triple3) -> rule5) OR ((((((triple5) -> rule8) ((((((triple5) -> rule8)) -> rule7) triple5) -> rule6)) -> rule9) triple3) -> rule5))] Dave is nice.[(triple7)] Dave is smart.[(triple8)] Harry is green.[(triple9)] Harry is rough.[(triple10)] @1: Charlie is smart.[(((triple5) -> rule8) OR ((((triple2 triple6) -> rule3)) -> rule8) OR ((((triple2 ((triple4 triple3) -> rule5)) -> rule3)) -> rule8) OR ((((triple2 ((((triple3 triple2) -> rule2) triple3) -> rule5)) -> rule3)) -> rule8))] Dave is quiet.[(((triple8) -> rule7))] Harry is smart.[(((triple10) -> rule8))] @2: Charlie is quiet.[(((((triple5) -> rule8)) -> rule7) OR ((((((triple2 triple6) -> rule3)) -> rule8)) -> rule7) OR ((((((triple2 ((triple4 triple3) -> rule5)) -> rule3)) -> rule8)) -> rule7) OR ((((((triple2 ((((triple3 triple2) -> rule2) triple3) -> rule5)) -> rule3)) -> rule8)) -> rule7))] Harry is quiet.[(((((triple10) -> rule8)) -> rule7))] @3: Harry is furry.[(((((((triple10) -> rule8)) -> rule7) triple10) -> rule6))] @4: Harry is nice.[(((triple9 ((((((triple10) -> rule8)) -> rule7) triple10) -> rule6)) -> rule2) OR ((((triple10) -> rule8) ((((((triple10) -> rule8)) -> rule7) triple10) -> rule6)) -> rule9))] @5: Harry is young.[(((((triple9 ((((((triple10) -> rule8)) -> rule7) triple10) -> rule6)) -> rule2) triple9) -> rule5) OR ((((((triple10) -> rule8) ((((((triple10) -> rule8)) -> rule7) triple10) -> rule6)) -> rule9) triple9) -> rule5))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
((((((triple5) -> (rule8 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
((triple6) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple3 triple2) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple5) -> (rule8 % int2)) triple2) -> (rule9 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((((triple2 triple6) -> (rule3 % int3))) -> (rule8 % int2)) triple2) -> (rule9 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple3 ((((((triple5) -> (rule8 % int4))) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((triple5) -> (rule8 % int4)) ((((((triple5) -> (rule8 % int4))) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple2 triple6) -> (rule3 % int5))) -> (rule8 % int4)) ((((((triple5) -> (rule8 % int4))) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
((triple2 triple6) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple2 ((triple4 triple3) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple2 ((((triple3 triple2) -> (rule2 % int3)) triple3) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
triple6
((triple4 triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple3 triple2) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((((triple5) -> (rule8 % int3)) triple2) -> (rule9 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple3 ((((((triple5) -> (rule8 % int5))) -> (rule7 % int4)) triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((triple5) -> (rule8 % int5)) ((((((triple5) -> (rule8 % int5))) -> (rule7 % int4)) triple5) -> (rule6 % int3))) -> (rule9 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is smart.
("Dave" "is" "smart" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple5) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple2 triple6) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple2 ((triple4 triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple2 ((((triple3 triple2) -> (rule2 % int4)) triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple8) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple10) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple5) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((((triple2 triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple2 ((triple4 triple3) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple2 ((((triple3 triple2) -> (rule2 % int5)) triple3) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
((((triple10) -> (rule8 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((((((triple10) -> (rule8 % int3))) -> (rule7 % int2)) triple10) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((triple9 ((((((triple10) -> (rule8 % int4))) -> (rule7 % int3)) triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple10) -> (rule8 % int4)) ((((((triple10) -> (rule8 % int4))) -> (rule7 % int3)) triple10) -> (rule6 % int2))) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((((triple9 ((((((triple10) -> (rule8 % int5))) -> (rule7 % int4)) triple10) -> (rule6 % int3))) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple10) -> (rule8 % int5)) ((((((triple10) -> (rule8 % int5))) -> (rule7 % int4)) triple10) -> (rule6 % int3))) -> (rule9 % int2)) triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5